The existence of matrices strongly adequate for E, R and their fragments

DOI10.1007/BF00493673zbMath0411.03016OpenAlexW2013149873MaRDI QIDQ1259580

Marek Tokarz

Publication date: 1979

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00493673

zbMATH Keywords

modal logicalgebraic logicpositive and implicative fragmentsstrongly adequate matrices

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Algebraic logic (03G99)

Related Items (2)

Singly generated quasivarieties and residuated structures ⋮ On the degree of complexity of sentential logics. A couple of examples

Cites Work

• Unnamed Item
• Completeness of relevant quantification theories
• Matrix approach in methodology of sentential calculi
• Modalities in Ackermann's “rigorous implication”
• The pure calculus of entailment
• Intensional models for first degree formulas
• Some remarks on the consequence operation in sentential logics
• Algebraic completeness results for R-mingle and its extensions

This page was built for publication: The existence of matrices strongly adequate for E, R and their fragments