View source for Talk:Sequent calculus

== Quantifiers ==

The presentation does not seem to be completely uniform concerning quantifiers: are first-order quantifiers taken into account? It would be nice.

A few related points:
* Why a distinction between atomic formulas and propositional variables?
* Some mixing between <math>\forall x A</math> and <math>\forall X A</math>. I tried to propose a [[notations#formulas|convention]] on that point, but it does not match here with the use of <math>\alpha</math> for atoms.
* Define immediate subformula of <math>\forall X A</math> as <math>A</math>?
-- [[User:Olivier Laurent|Olivier Laurent]] 18:37, 14 January 2009 (UTC)