Conservative extension in relevant implication

DOI10.1007/BF02120525zbMath0273.02019MaRDI QIDQ2264755

Robert K. Meyer

Publication date: 1973

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

Mathematics Subject Classification ID

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

Related Items

Representable idempotent commutative residuated lattices ⋮ VARIETIES OF DE MORGAN MONOIDS: COVERS OF ATOMS ⋮ Subdirectly irreducible residuated semilattices and positive universal classes ⋮ ASSERTIONALLY EQUIVALENT QUASIVARIETIES ⋮ A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic ⋮ Contextual deduction theorems ⋮ Residuated Structures, Concentric Sums and Finiteness Conditions ⋮ AGGREGATION AND IDEMPOTENCE ⋮ Implication lattices ⋮ Fragments of R-mingle ⋮ Classical relevant logics. I ⋮ The semantics of entailment. III ⋮ Relevant analytic tableaux

Cites Work

• Completeness of relevant quantification theories
• E and S4
• Modalities in Ackermann's “rigorous implication”
• A completeness theorem in modal logic
• The pure calculus of entailment
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item