Algebraic Kripke-style semantics for relevance logics
From MaRDI portal
Publication:484156
DOI10.1007/S10992-013-9290-6zbMATH Open1335.03025OpenAlexW2027281510MaRDI QIDQ484156FDOQ484156
Authors: Eunsuk Yang 
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
Recommendations
many-valued logicalgebraic semanticsrelevance logicalgebraic Kripke-style semanticsnuclear completion
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Many-valued logic (03B50)
Cites Work
- Title not available (Why is that?)
- The semantics of entailment. II
- The semantics of entailment. III
- A Kripke-style semantics for R-mingle using a binary accessibility relation
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Four-valued logic
- Kripke models for linear logic
- Generalized Galois logics. Relational semantics of nonclassical logical calculi
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- Substructural fuzzy logics
- Residuated lattices. An algebraic glimpse at substructural logics
- Weakly implicative (fuzzy) logics. I: Basic properties
- Title not available (Why is that?)
- Protoalgebraic logics
- Constructing locales from quantales
- Partiality and its dual
- Algebraic completeness results for R-mingle and its extensions
- Sequent-systems and groupoid models. I
- Title not available (Why is that?)
- Gentzenization and decidability of some contraction-less relevant logics
- Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
- Semantics for relevant logics
- Logics without the contraction rule
- Title not available (Why is that?)
- Corrigendum to “Kripke‐style semantics for many‐valued logics”
- Models for entailment
- Sequent-systems and groupoid models. II
- Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\)
- Semantical analysis of predicate logics without the contraction rule
- Predicate logics without the structure rules
- Semantics for quantified relevance logic
- Four-valued semantics for relevant logics (and some of their rivals)
- (Star-based) three-valued Kripke-style semantics for pseudo- and weak-Boolean logics
- Glivenko theorems for substructural logics over FL
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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
- (Star-based) four-valued Kripke-style semantics for some neighbors of E, R, T
- A semantical study of constructible falsity
- Completeness of relevant quantification theories
Cited In (18)
- Title not available (Why is that?)
- Two kinds of (binary) Kripke-style semantics for three-valued logic
- Kripke semantics for modal substructural logics
- A Kripke-style and relational semantics for logics based on Łukasiewicz algebras
- Title not available (Why is that?)
- Introducing reactive Kripke semantics and arc accessibility
- Simplified Kripke-style semantics for some normal modal logics
- Algebras of Relations and Relevance Logic
- Title not available (Why is that?)
- A Note on the Relevance of Semilattice Relevance Logic
- Algebraic study of two deductive systems of relevance logic
- Kripke models for linear logic
- An explanation for the ternary relation R in the relational semantics of relevance logic
- An algebraic semantics of notional entailment logic Cn
- Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL}
- RELEVANCE LOGICS AND RELATION ALGEBRAS
- Title not available (Why is that?)
- SUBSTRUCTURAL INQUISITIVE LOGICS
This page was built for publication: Algebraic Kripke-style semantics for relevance logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q484156)
