Notes on the axiomatics of the propositional calculus
From MaRDI portal
Publication:2524056
DOI10.1305/ndjfl/1093957574zbMath0146.00801OpenAlexW1976353188MaRDI QIDQ2524056
Publication date: 1963
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093957574
Related Items
An algebraic formulation of $K-N$ propositional calculus ⋮ Note on Deduction Theorems in contraction-free logics ⋮ Algebraic formulation of propositional calculi with general detachment rule ⋮ An algebraic formulation of $K-N$ propositional calculus, III ⋮ Functional completeness of bounded structures of fuzzy logic with wvt-operators ⋮ Combinatory abstraction using \({\mathbf B}\), \({\mathbf B}^ \prime\) and friends ⋮ Meeting the challenge of fifty years of logic ⋮ A method for finding new sets of axioms for classes of semigroups. ⋮ Single Axioms and Axiom-Pairs for the Implicational Fragments of $$\mathbf {R}$$ R , R-Mingle, and Some Related Systems ⋮ Algorithms and computations for foldedness of P-ideals in BCI-algebras ⋮ Monadic pseudo BCI-algebras and corresponding logics ⋮ Lattice BCK logics with Modus Ponens as unique rule ⋮ Algorithms and computations for \((m,n)\)-fold \(p\)-ideals in BCI-algebras ⋮ Positive logic and \(\lambda\)-constants ⋮ Learning from Łukasiewicz and Meredith: investigations into proof structures ⋮ A new use of an automated reasoning assistant: Open questions in equivalential calculus an the study of infinite domains ⋮ On principal types of combinators ⋮ The two-property and condensed detachment ⋮ Postulates for implicational calculi ⋮ An algebraic formulation of $K-N$ propositional calculus, II ⋮ On axiom systems of propositional calculi, XVI ⋮ On axiom systems of propositional calculi, XIX ⋮ Double-negation elimination in some propositional logics
