Classically complete modal relevant logics

DOI10.1002/MALQ.19930390119MaRDI QIDQ4304127zbMATH OpenOpenAlexFDO

Authors Edwin D. Mares

Publication date 24 January 1995

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19930390119

zbMATH Keywords

completenessmodelsAckermann's rulemodal logics based on relevant logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Recommendations

• Some metacomplete relevant modal logics
• The \(\gamma \)-admissibility of relevant modal logics. I: The method of normal models
• Mostly Meyer modal models
• A Sahlqvist theorem for relevant modal logics

Cites work

• Models for entailment
• Semantics for quantified relevance logic
• The admissibility of \(\gamma\) in R4

Cited in

(21)

• Where gamma fails
• scientific article; zbMATH DE number 2109538 (Why is no real title available?)
• Connected modal logics
• General frames for relevant modal logics
• Non-Boolean classical relevant logics. II: Classicality through truth-constants
• An algebraic proof of the admissibility of \(\gamma \) in relevant modal logics
• QUANTIFIED MODAL RELEVANT LOGICS
• Classical logic as limit completion
• Normal modal substructural logics with strong negation
• Neighbourhood semantics for modal relevant logics
• Completeness of relevant modal logics with disjunctive rules
• New(ish) foundations for theories of entailment
• Hereditarily structurally complete modal logics
• Halldén completeness for relevant modal logics
• scientific article; zbMATH DE number 2149468 (Why is no real title available?)
• Mostly Meyer modal models
• Some metacomplete relevant modal logics
• The \(\gamma \)-admissibility of relevant modal logics. II: The method using metavaluations
• The \(\gamma \)-admissibility of relevant modal logics. I: The method of normal models
• scientific article; zbMATH DE number 3954874 (Why is no real title available?)
• Minimal modal logics, constructive modal logics and their relations

This page was built for publication: Classically complete modal relevant logics

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