Sequent Calculus: Basics and Applications

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (28)

Page 2 of 3

Sequent Calculus with Equality

Covers Sequent Calculus with Equality, focusing on atomic formulas and substitution rules.

What is a Formal Proof?

Covers the concept of formal proof systems, their structure, and soundness.

The Languages of Isabelle: Isar, ML, and Scala

Explores the languages of Isabelle, focusing on Isar, ML, and Scala, covering proof schemes, Natural Deduction rules, inductive definitions, and the LCF approach.

Proofs: Logical Equivalence and Inference Rules

Covers the concept of logical equivalence in proofs and inference rules.

Introduction to Proof Scripting: Basics of Ltac

Introduces the basics of proof scripting in Coq, focusing on the Ltac language and its tactics for managing proofs effectively.

Optimal Transport: Heat Equation and Metric Spaces

Explores optimal transport in heat equations and metric spaces.

Inductive Propositions: Understanding Evaluation in Coq

Covers inductive propositions in Coq, focusing on evaluation rules for arithmetic expressions and their applications in defining partial and non-deterministic functions.

Zig Zag Lemma

Covers the Zig Zag Lemma and the long exact sequence of relative homology.

Discrete Mathematics: Logic & Structures

Covers propositional logic, truth tables, and problem-solving strategies in discrete mathematics.

Formal Logic: Proofs and Sets

Covers the basics of formal logic, focusing on logical expressions and mathematical proofs.