Notes on the axiomatics of the propositional calculus

Cited In (25)

Functional completeness of bounded structures of fuzzy logic with wvt-operators
Lattice BCK logics with Modus Ponens as unique rule
Algorithms and computations for foldedness of P-ideals in BCI-algebras
Algorithms and computations for $(m,n)$-fold $p$-ideals in BCI-algebras
A method for finding new sets of axioms for classes of semigroups.
Note on deduction theorems in contraction-free logics
Learning from Łukasiewicz and Meredith: investigations into proof structures
Combinatory abstraction using ${\mathbf B}$, ${\mathbf B}^ \prime$ and friends
A new use of an automated reasoning assistant: Open questions in equivalential calculus an the study of infinite domains
Postulates for implicational calculi
Meeting the challenge of fifty years of logic
Investigations into proof structures
An algebraic formulation of $K-N$ propositional calculus, II
On axiom systems of propositional calculi, XVI
On axiom systems of propositional calculi, XIX
An algebraic formulation of $K-N$ propositional calculus
The two-property and condensed detachment
Lemmas: generation, selection, application
Single Axioms and Axiom-Pairs for the Implicational Fragments of $$\mathbf {R}$$ R , R-Mingle, and Some Related Systems
Positive logic and $\lambda$-constants
Algebraic formulation of propositional calculi with general detachment rule
An algebraic formulation of $K-N$ propositional calculus, III
Monadic pseudo BCI-algebras and corresponding logics
Double-negation elimination in some propositional logics
On principal types of combinators

This page was built for publication: Notes on the axiomatics of the propositional calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2524056)