Completeness of relevant quantification theories

DOI10.1305/NDJFL/1093891202zbMATH Open0272.02028OpenAlexW2062861017MaRDI QIDQ758985FDOQ758985

J. Michael Dunn, Robert K. Meyer, Hugues Leblanc

Publication date: 1974

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093891202

Mathematics Subject Classification ID

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

Cited In (22)

• Varieties of De Morgan monoids: minimality and irreducible algebras
• Conservative extension in relevant implication
• An alternative semantics for quantified relevant logic
• A second-order relevance logic with modality
• Epimorphisms in varieties of subidempotent residuated structures
• A Kripke-style semantics for R-mingle using a binary accessibility relation
• Quantification and RM
• The Story of $$\gamma $$ γ
• Fragments of R-mingle
• A theorem in 3-valued model theory with connections to number theory, type theory, and relevant logic
• VARIETIES OF DE MORGAN MONOIDS: COVERS OF ATOMS
• Alternative semantics for quantified first degree relevant logic
• Singly generated quasivarieties and residuated structures
• Rules in relevant logic. II: Formula representation
• The existence of matrices strongly adequate for E, R and their fragments
• Larisa Maksimova’s Early Contributions to Relevance Logic
• On pretabular extensions of relevance logic
• Algebraic Kripke-style semantics for relevance logics
• The algebraic significance of weak excluded middle laws
• A content semantics for quantified relevant logics. I
• CUT AND GAMMA I: PROPOSITIONAL AND CONSTANT DOMAIN R
• Relevant predication. I: The formal theory

This page was built for publication: Completeness of relevant quantification theories

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