Newbetuts
.
New posts in sequent-calculus
Clarification regarding substitution in sequent calculus
logic
quantifiers
proof-theory
formal-proofs
sequent-calculus
Substitution in sequent calculus vs substitution in lambda calculus
logic
formal-languages
substitution
lambda-calculus
sequent-calculus
Understanding the meaning of $\forall,\exists$ rules in sequent calculus.
logic
first-order-logic
quantifiers
proof-theory
sequent-calculus
Trying to understand Sequent Calculus inference rules for quantifiers $\forall$ and $\exists$.
first-order-logic
quantifiers
sequent-calculus
"forward" natural deduction vs "backward" natural deduction
propositional-calculus
sequent-calculus
Does an inference rule under natural deduction operate on sequents or formulas?
logic
proof-theory
natural-deduction
sequent-calculus
Main differences and relations between Sequent Calculus and Natural Deduction
logic
proof-theory
natural-deduction
sequent-calculus
Does double negation distribute over implication intuitionistically?
logic
propositional-calculus
constructive-mathematics
intuitionistic-logic
sequent-calculus
Prev