Algebraic Kripke-style semantics for relevance logics
type: Item
instance of: scholarly article
title: Algebraic Kripke-style semantics for relevance logics
zbMATH Open document ID: 1335.03025
author: Eunsuk Yang
published in: Journal of Philosophical Logic
publication date: 2014-12-18T00:00:00Z
Mathematics Subject Classification ID: 03B47
Mathematics Subject Classification ID: 03B50
zbMATH DE Number: 6381534
zbMATH Keywords: algebraic Kripke-style semantics
zbMATH Keywords: algebraic semantics
zbMATH Keywords: many-valued logic
zbMATH Keywords: relevance logic
zbMATH Keywords: nuclear completion
MaRDI profile type: Publication
full work available at URL: s10992-013-9290-6
OpenAlex ID: W2027281510
cites work: Kripke models for linear logic
cites work: Q4085699
cites work: Q4297115
cites work: Four-valued logic
cites work: Q3599059
cites work: Gentzenization and decidability of some contraction-less relevant logics
cites work: Gentzenizations of relevant logics without distribution. I
cites work: Gentzenizations of relevant logics without distribution. II
cites work: Q4961804
cites work: Q3934450
cites work: Weakly implicative (fuzzy) logics. I: Basic properties
cites work: Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
cites work: Q5406033
cites work: Protoalgebraic logics
cites work: Q4530231
cites work: Sequent-systems and groupoid models. I
cites work: Sequent-systems and groupoid models. II
cites work: Algebraic completeness results for R-mingle and its extensions
cites work: A Kripke-style semantics for R-mingle using a binary accessibility relation
cites work: Q4342081
cites work: Partiality and its dual
cites work: Q3953765
cites work: Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
cites work: Models for entailment
cites work: Semantics for quantified relevance logic
cites work: Residuated lattices. An algebraic glimpse at substructural logics
cites work: Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
cites work: Glivenko theorems for substructural logics over FL
cites work: Metamathematics of fuzzy logic
cites work: Predicate logics without the structure rules
cites work: Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
cites work: Substructural fuzzy logics
cites work: Completeness of relevant quantification theories
cites work: Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\)
cites work: Kripke‐style semantics for many‐valued logics
cites work: Corrigendum to “Kripke‐style semantics for many‐valued logics”
cites work: Constructing locales from quantales
cites work: Q3484812
cites work: Semantical analysis of predicate logics without the contraction rule
cites work: Q4026931
cites work: Q4940727
cites work: Logics without the contraction rule
cites work: Four-valued semantics for relevant logics (and some of their rivals)
cites work: Q4805593
cites work: Q3197878
cites work: Q3996704
cites work: The semantics of entailment. II
cites work: The semantics of entailment. III
cites work: Q4077984
cites work: Q3701398
cites work: A semantical study of constructible falsity
cites work: Semantics for relevant logics
cites work: Q4342080
cites work: Q4438236
cites work: Routely-Meyer Semantics for some weak Boolean Logics, and some Translations
cites work: Q5188171
cites work: (Star-based) three-valued Kripke-style semantics for pseudo- and weak-Boolean logics
DOI: 10.1007/S10992-013-9290-6
description: scientific article; zbMATH DE number 6381534