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)

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

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)