scientific article; zbMATH DE number 150217

MaRDI QIDQ4032849zbMATH OpenFDO

Authors

Publication date 1 April 1993

zbMATH Keywords

axiomatizationimplicational logicimplicational fragment of classical propositional logicimplicational fragment of intuitionistic propositional logic

Mathematics Subject Classification ID

Classical propositional logic (03B05) Subsystems of classical logic (including intuitionistic logic) (03B20) Logical aspects of lattices and related structures (03G10)

Recommendations

• scientific article; zbMATH DE number 2024626
• scientific article; zbMATH DE number 638618
• The classification of propositional calculi
• scientific article; zbMATH DE number 1778909
• scientific article; zbMATH DE number 1858065

Cited in

(20)

• Birkhoff's and Mal'cev's theorems for implicational tonoid logics
• scientific article; zbMATH DE number 5041127 (Why is no real title available?)
• Lattices, closures systems and implication bases: a survey of structural aspects and algorithms
• Lattice logic as a fragment of (2-sorted) residuated modal logic
• Constructing implications and coimplications on a complete lattice
• scientific article; zbMATH DE number 4121961 (Why is no real title available?)
• scientific article; zbMATH DE number 2024626 (Why is no real title available?)
• scientific article; zbMATH DE number 549806 (Why is no real title available?)
• Single axioms and axiom-pairs for the implicational fragments of \(\mathbf{R} \), R-Mingle, and some related systems
• Logical operators on complete lattices
• scientific article; zbMATH DE number 1778427 (Why is no real title available?)
• An implicational logic for orthomodular lattices
• Implicational lattices and generalization of Stone's representation theorem
• scientific article; zbMATH DE number 2094741 (Why is no real title available?)
• scientific article; zbMATH DE number 19690 (Why is no real title available?)
• THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE
• Implicative logics, Lambek systems and exponential multicategories
• A schematic extension of IMTL-logic algebras
• SUBSTITUTION IN RELEVANT LOGICS
• Lattice BCK logics with modus ponens as unique rule

This page was built for publication:

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