Sequent Calculus with Equality

Related lectures (30)

Page 1 of 3

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

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

Explores formal proofs, satisfiability problems, and inductive invariants using SAT queries in sequential circuits.

Covers the basics of predicate calculus, including propositions, formulas, terms, and semantic evaluation.

Explores finite transition systems, propositional logic, truth interpretation, satisfiability, and boolean function representation with circuits.

Delves into the concept of proof in mathematics, emphasizing the importance of evidence and logical reasoning.

Covers propositions, logical connectives, truth tables, and propositional logic language.

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

Covers the basics of discrete mathematics, focusing on logic, structures, and algorithms for computer systems.