Complementary Logics for Classical Propositional Languages
Kriterion - Journal of Philosophy 4 (1):20-24 (1992)
Abstract
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
DOI
10.1515/krt-1992-010406
Analytics
Added to PP
2009-01-28
Downloads
235 (#36,703)
6 months
34 (#36,816)
2009-01-28
Downloads
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?