Talk:Sequent calculus

From LLWiki
Revision as of 20:37, 14 January 2009 by Olivier Laurent (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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 \forall x A and \forall X A. I tried to propose a convention on that point, but it does not match here with the use of α for atoms.

-- Olivier Laurent 18:37, 14 January 2009 (UTC)

Retrieved from "http://llwiki.ens-lyon.fr/mediawiki/index.php?title=Talk:Sequent_calculus&oldid=81"
Personal tools