Completeness of relevant quantification theories

DOI10.1305/NDJFL/1093891202zbMath0272.02028OpenAlexW2062861017MaRDI QIDQ758985

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)

Related Items (21)

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

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