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

Ackermann's rulecompletenessmodal logics based on relevant logicmodels

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

(22)

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

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)