|Abstract||In an earlier paper I introduced a complete axiomatization of classical non-tautologies based essentially on Lukasiewicz’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.|
|Keywords||No keywords specified (fix it)|
No categories specified
(categorize this paper)
|Through your library||Only published papers are available at libraries|
Similar books and articles
Petr Hájek & Petr Cintula (2006). On Theories and Models in Fuzzy Predicate Logics. Journal of Symbolic Logic 71 (3):863 - 880.
Larisa Maksimova (2006). Definability and Interpolation in Non-Classical Logics. Studia Logica 82 (2):271 - 291.
Andrew Bacon (2013). Non-Classical Metatheory for Non-Classical Logics. Journal of Philosophical Logic 42 (2):335-355.
Luca Viganò (2000). Labelled Non-Classical Logics. Kluwer Academic Publishers.
M. G. Beavers (1994). Theorem Counting. Topoi 13 (1):61-65.
Dominic Gregory (2001). Completeness and Decidability Results for Some Propositional Modal Logics Containing “Actually” Operators. Journal of Philosophical Logic 30 (1):57-78.
Allard Tamminga (1994). Logics of Rejection: Two Systems of Natural Deduction. Logique Et Analyse 146:169-208.
Added to index2009-01-28
Total downloads8 ( #131,679 of 722,813 )
Recent downloads (6 months)1 ( #60,541 of 722,813 )
How can I increase my downloads?