Classically complete modal relevant logics

DOI10.1002/malq.19930390119zbMath0804.03012OpenAlexW2107737957MaRDI QIDQ4304127

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

modelscompletenessAckermann'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)

Related Items (8)

QUANTIFIED MODAL RELEVANT LOGICS ⋮ An algebraic proof of the admissibility of \(\gamma \) in relevant modal logics ⋮ Non-Boolean classical relevant logics. II: Classicality through truth-constants ⋮ Neighbourhood semantics for modal relevant logics ⋮ The \(\gamma \)-admissibility of relevant modal logics. I: The method of normal models ⋮ Normal modal substructural logics with strong negation ⋮ The \(\gamma \)-admissibility of relevant modal logics. II: The method using metavaluations ⋮ Halldén completeness for relevant modal logics

Cites Work

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

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