Concept

Sequent calculus

Related lectures (10)

Covers the basics and applications of Sequent Calculus in Logic and Proof Theory, including Cut Elimination and practical proof analysis.

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

Covers the LISA proof assistant's codebase organization, kernel package, FOL formalization, and proof package.

Explores the proposition that X² is not equal to 2 using absurd reasoning.

Covers the calculation of propositions in predicate logic with a focus on logical connectives.

Covers the basics of propositional calculus and its importance in computer science.

Covers first-order logic, resolution proofs, Skolem functions, and satisfiability checking in mathematics and program verification.

Explores the relationship between logic proofs and programming evidence through the Curry-Howard Correspondence.

Introduces sets and functions, covering union, intersection, complement, functions terminology, and set operations analogies.