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

DOI10.1007/BF00493673zbMATH Open0411.03016OpenAlexW2013149873MaRDI QIDQ1259580FDOQ1259580

Authors: 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)

Cites Work

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

Cited In (2)

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

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

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