Pages that link to "Item:Q2524056"
From MaRDI portal
The following pages link to Notes on the axiomatics of the propositional calculus (Q2524056):
Displayed 23 items.
- A method for finding new sets of axioms for classes of semigroups. (Q453187) (← links)
- A new use of an automated reasoning assistant: Open questions in equivalential calculus an the study of infinite domains (Q759491) (← links)
- The two-property and condensed detachment (Q799664) (← links)
- Double-negation elimination in some propositional logics (Q813082) (← links)
- Functional completeness of bounded structures of fuzzy logic with wvt-operators (Q835282) (← links)
- Meeting the challenge of fifty years of logic (Q911807) (← links)
- Algorithms and computations for foldedness of P-ideals in BCI-algebras (Q959054) (← links)
- Algorithms and computations for \((m,n)\)-fold \(p\)-ideals in BCI-algebras (Q975874) (← links)
- Positive logic and \(\lambda\)-constants (Q1252340) (← links)
- Combinatory abstraction using \({\mathbf B}\), \({\mathbf B}^ \prime\) and friends (Q1346635) (← links)
- On principal types of combinators (Q1583260) (← links)
- Monadic pseudo BCI-algebras and corresponding logics (Q2001173) (← links)
- Learning from Łukasiewicz and Meredith: investigations into proof structures (Q2055843) (← links)
- Note on Deduction Theorems in contraction-free logics (Q2888635) (← links)
- Single Axioms and Axiom-Pairs for the Implicational Fragments of $$\mathbf {R}$$ R , R-Mingle, and Some Related Systems (Q3305420) (← links)
- Lattice BCK logics with Modus Ponens as unique rule (Q5419214) (← links)
- Postulates for implicational calculi (Q5523673) (← links)
- An algebraic formulation of $K-N$ propositional calculus, II (Q5534204) (← links)
- On axiom systems of propositional calculi, XVI (Q5536252) (← links)
- On axiom systems of propositional calculi, XIX (Q5536255) (← links)
- An algebraic formulation of $K-N$ propositional calculus (Q5551109) (← links)
- Algebraic formulation of propositional calculi with general detachment rule (Q5561922) (← links)
- An algebraic formulation of $K-N$ propositional calculus, III (Q5561923) (← links)