A Proof-Theoretic Semantics for Exclusion
The paper provides a proof-theory (natural deduction and sequent calculus) for a negative presentation of classical logic based on a single primitive of exclusion (of variable arity), generalizing the known presentation via the binary ‘nand. The completeness is established via deductive equivalence to Gentzens NK/LK systems.
KeywordsExclusion nand classical logic proof-theoretic semantics
Mathematics Subject ClassificationPrimary 03F03 Secondary 03B22 03A02
Unable to display preview. Download preview PDF.
- 2.Dummett, M.: The Logical Basis of Metaphysics. Harvard University Press, Cambridge (1991)Google Scholar