Completeness of relevant quantification theories
From MaRDI portal
Cited in
(26)- Relevant predication. I: The formal theory
- A content semantics for quantified relevant logics. I
- 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
- The existence of matrices strongly adequate for E, R and their fragments
- Rules in relevant logic. II: Formula representation
- Varieties of De Morgan monoids: minimality and irreducible algebras
- Fragments of R-mingle
- Epimorphisms in varieties of subidempotent residuated structures
- Conservative extension in relevant implication
- The Story of \gamma γ
- Cut and gamma. I: Propositional and constant domain \textbf{R}
- Algebraic Kripke-style semantics for relevance logics
- Varieties of De Morgan monoids: covers of atoms
- Singly generated quasivarieties and residuated structures
- Larisa Maksimova’s Early Contributions to Relevance Logic
- An alternative semantics for quantified relevant logic
- The algebraic significance of weak excluded middle laws
- On pretabular extensions of relevance logic
- -admissibility in first-order relevant logics: proof using normal models in the Mares-Goldblatt setting
- Topic transparency and variable sharing in weak relevant logics
- Relevant number theory with cancellation
- Polyadic De Morgan monoids: functional representation and MG structures
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)
