scientific article; zbMATH DE number 150217
From MaRDI portal
Publication:4032849
zbMATH Open0769.03007MaRDI QIDQ4032849FDOQ4032849
Authors:
Publication date: 1 April 1993
Title of this publication is not available (Why is that?)
Recommendations
axiomatizationimplicational logicimplicational fragment of classical propositional logicimplicational fragment of intuitionistic propositional logic
Classical propositional logic (03B05) Subsystems of classical logic (including intuitionistic logic) (03B20) Logical aspects of lattices and related structures (03G10)
Cited In (20)
- SUBSTITUTION IN RELEVANT LOGICS
- Lattices, closures systems and implication bases: a survey of structural aspects and algorithms
- Implicative logics, Lambek systems and exponential multicategories
- Constructing implications and coimplications on a complete lattice
- Title not available (Why is that?)
- Title not available (Why is that?)
- A schematic extension of IMTL-logic algebras
- Birkhoff's and Mal'cev's theorems for implicational tonoid logics
- Lattice logic as a fragment of (2-sorted) residuated modal logic
- Logical operators on complete lattices
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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)
