Complementary Logics for Classical Propositional Languages

Kriterion - Journal of Philosophy 4 (1):20-24 (1992)
  Copy   BIBTEX


In previous work, I introduced a complete axiomatization of classical non-tautologies based essentially on Łukasiewicz’s rejection method. The present paper provides a new, Hilbert-type axiomatization (along with related systems to axiomatize classical contradictions, non-contradictions, contingencies and non-contingencies respectively). This new system is mathematically less elegant, but the format of the inferential rules and the structure of the completeness proof possess some intrinsic interest and suggests instructive comparisons with the logic of tautologies.

Author's Profile

Achille C. Varzi
Columbia University


Added to PP

235 (#36,703)

6 months
34 (#36,816)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?