Algebraic Kripke-style semantics for relevance logics
From MaRDI portal
(Redirected from Publication:484156)
Recommendations
Cites work
- scientific article; zbMATH DE number 4173040 (Why is no real title available?)
- scientific article; zbMATH DE number 4156411 (Why is no real title available?)
- scientific article; zbMATH DE number 3926879 (Why is no real title available?)
- scientific article; zbMATH DE number 3751028 (Why is no real title available?)
- scientific article; zbMATH DE number 3773592 (Why is no real title available?)
- scientific article; zbMATH DE number 46487 (Why is no real title available?)
- scientific article; zbMATH DE number 125238 (Why is no real title available?)
- scientific article; zbMATH DE number 3496100 (Why is no real title available?)
- scientific article; zbMATH DE number 3504935 (Why is no real title available?)
- scientific article; zbMATH DE number 596497 (Why is no real title available?)
- scientific article; zbMATH DE number 1028817 (Why is no real title available?)
- scientific article; zbMATH DE number 1028818 (Why is no real title available?)
- scientific article; zbMATH DE number 2015405 (Why is no real title available?)
- scientific article; zbMATH DE number 1748069 (Why is no real title available?)
- scientific article; zbMATH DE number 1907195 (Why is no real title available?)
- scientific article; zbMATH DE number 1406811 (Why is no real title available?)
- scientific article; zbMATH DE number 6965723 (Why is no real title available?)
- scientific article; zbMATH DE number 6276267 (Why is no real title available?)
- (Star-based) four-valued Kripke-style semantics for some neighbors of E, R, T
- (Star-based) three-valued Kripke-style semantics for pseudo- and weak-Boolean logics
- A Kripke-style semantics for R-mingle using a binary accessibility relation
- A semantical study of constructible falsity
- Algebraic completeness results for R-mingle and its extensions
- Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
- Completeness of relevant quantification theories
- Constructing locales from quantales
- Corrigendum to “Kripke‐style semantics for many‐valued logics”
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- Four-valued logic
- Four-valued semantics for relevant logics (and some of their rivals)
- Generalized Galois logics. Relational semantics of nonclassical logical calculi
- Gentzenization and decidability of some contraction-less relevant logics
- Gentzenizations of relevant logics without distribution. I
- Gentzenizations of relevant logics without distribution. II
- Glivenko theorems for substructural logics over FL
- Kripke models for linear logic
- Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\)
- Kripke‐style semantics for many‐valued logics
- Logics without the contraction rule
- Metamathematics of fuzzy logic
- Models for entailment
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Partiality and its dual
- Predicate logics without the structure rules
- Protoalgebraic logics
- Residuated lattices. An algebraic glimpse at substructural logics
- Routely-Meyer Semantics for some weak Boolean Logics, and some Translations
- Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
- Semantical analysis of predicate logics without the contraction rule
- Semantics for quantified relevance logic
- Semantics for relevant logics
- Sequent-systems and groupoid models. I
- Sequent-systems and groupoid models. II
- Substructural fuzzy logics
- The semantics of entailment. II
- The semantics of entailment. III
- Weakly implicative (fuzzy) logics. I: Basic properties
Cited in
(18)- SUBSTRUCTURAL INQUISITIVE LOGICS
- scientific article; zbMATH DE number 7536428 (Why is no real title available?)
- 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
- scientific article; zbMATH DE number 7644094 (Why is no real title available?)
- Introducing reactive Kripke semantics and arc accessibility
- Simplified Kripke-style semantics for some normal modal logics
- Algebras of Relations and Relevance Logic
- scientific article; zbMATH DE number 3910367 (Why is no real title available?)
- Algebraic study of two deductive systems of relevance logic
- A Note on the Relevance of Semilattice Relevance Logic
- Kripke models for linear logic
- An algebraic semantics of notional entailment logic Cn
- An explanation for the ternary relation R in the relational semantics of relevance logic
- Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL}
- scientific article; zbMATH DE number 3837996 (Why is no real title available?)
- RELEVANCE LOGICS AND RELATION ALGEBRAS
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)
