Notes on the axiomatics of the propositional calculus

Cited in

(28)

Functional completeness of bounded structures of fuzzy logic with wvt-operators
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.
Learning from Łukasiewicz and Meredith: investigations into proof structures
Note on deduction theorems in contraction-free logics
Applying saturation-based theorem proving to open problems in positive implicational logic
Lattice BCK logics with modus ponens as unique rule
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
Single axioms and axiom-pairs for the implicational fragments of \(\mathbf{R} \), R-Mingle, and some related systems
Meeting the challenge of fifty years of logic
Postulates for implicational calculi
Investigations into proof structures
The two-property and condensed detachment
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
D-complete single axioms for the equivalential calculus with the rules d and r
Positive logic and -constants
Lemmas: generation, selection, application
Double-negation elimination in some propositional logics
Monadic pseudo BCI-algebras and corresponding logics
Algebraic formulation of propositional calculi with general detachment rule
An algebraic formulation of K-N propositional calculus, III
On principal types of combinators
Deductive systems and coherence for skew prounital closed categories

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)