Conservative extension in relevant implication

DOI10.1007/BF02120525MaRDI QIDQ2264755zbMATH OpenFDO

Authors Robert K. Meyer

Publication date 1973

Published in Studia Logica (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Cites work

• A completeness theorem in modal logic
• Completeness of relevant quantification theories
• E and S4
• scientific article; zbMATH DE number 3222127 (Why is no real title available?)
• scientific article; zbMATH DE number 3245483 (Why is no real title available?)
• scientific article; zbMATH DE number 3261581 (Why is no real title available?)
• scientific article; zbMATH DE number 3356738 (Why is no real title available?)
• scientific article; zbMATH DE number 3193725 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• Modalities in Ackermann's “rigorous implication”
• The pure calculus of entailment

Cited in

(14)

• A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic
• Implication lattices
• Classical relevant logics. I
• The semantics of entailment. III
• Relevant analytic tableaux
• Fragments of R-mingle
• Subdirectly irreducible residuated semilattices and positive universal classes
• Representable idempotent commutative residuated lattices
• ASSERTIONALLY EQUIVALENT QUASIVARIETIES
• Residuated Structures, Concentric Sums and Finiteness Conditions
• Varieties of De Morgan monoids: covers of atoms
• Aggregation and idempotence
• Contextual deduction theorems
• Classification of unilinear residuated lattices

This page was built for publication: Conservative extension in relevant implication

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