Quantification and RM

DOI10.1007/BF02282493zbMath0359.02014MaRDI QIDQ1238799

J. Michael Dunn

Publication date: 1976

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

Mathematics Subject Classification ID

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

Related Items (7)

Current trends in substructural logics ⋮ IN MEMORIAM: J. MICHAEL DUNN, 1941–2021 ⋮ Relevant predication. I: The formal theory ⋮ Positive modal logic ⋮ A relevant theory of conditionals ⋮ The Birth of Dialetheism ⋮ R-Mingle is Nice, and so is Arnon Avron

Cites Work

• Completeness of relevant quantification theories
• A Kripke-style semantics for R-mingle using a binary accessibility relation
• On 2nd order intuitionistic propositional calculus with full comprehension
• Algebraic Completeness Results for Dummett's LC and Its Extensions

This page was built for publication: Quantification and RM