Algebraic Kripke-style semantics for relevance logics
From MaRDI portal
Publication:484156
DOI10.1007/s10992-013-9290-6zbMath1335.03025OpenAlexW2027281510MaRDI QIDQ484156
Publication date: 18 December 2014
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10992-013-9290-6
algebraic semanticsmany-valued logicrelevance logicalgebraic Kripke-style semanticsnuclear completion
Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items (3)
Unnamed Item ⋮ SUBSTRUCTURAL INQUISITIVE LOGICS ⋮ An Explanation for the Ternary Relation R in the Relational Semantics of Relevance Logic
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Completeness of relevant quantification theories
- Residuated lattices. An algebraic glimpse at substructural logics
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- Semantical analysis of predicate logics without the contraction rule
- Predicate logics without the structure rules
- Semantics for quantified relevance logic
- Sequent-systems and groupoid models. I
- Models for entailment
- The semantics of entailment. II
- The semantics of entailment. III
- A Kripke-style semantics for R-mingle using a binary accessibility relation
- Sequent-systems and groupoid models. II
- Metamathematics of fuzzy logic
- Four-valued semantics for relevant logics (and some of their rivals)
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Four-valued logic
- Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\)
- Partiality and its dual
- Gentzenization and decidability of some contraction-less relevant logics
- Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
- Weakly implicative (fuzzy) logics. I: Basic properties
- (Star-Based) three-valued Kripke-style semantics for pseudo- and weak-Boolean logics
- Kripke models for linear logic
- Glivenko theorems for substructural logics over FL
- Logics without the contraction rule
- Constructing locales from quantales
- Kripke‐style semantics for many‐valued logics
- Corrigendum to “Kripke‐style semantics for many‐valued logics”
- Routely-Meyer Semantics for some weak Boolean Logics, and some Translations
- Gentzenizations of relevant logics without distribution. I
- Gentzenizations of relevant logics without distribution. II
- Substructural fuzzy logics
- A semantical study of constructible falsity
- Algebraic completeness results for R-mingle and its extensions
- Semantics for relevant logics
- Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
- Protoalgebraic logics
This page was built for publication: Algebraic Kripke-style semantics for relevance logics