Completeness of relevant quantification theories

DOI10.1305/NDJFL/1093891202MaRDI QIDQ758985zbMATH OpenOpenAlexFDO

Authors Robert K. Meyer, J. Michael Dunn, 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)

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

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)