Algebraic Kripke-style semantics for relevance logics (Q484156): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10992-013-9290-6
+Normal rank
@@ Property / OpenAlex ID @@
+W2027281510
@@ Property / OpenAlex ID: W2027281510 / rank @@
+Normal rank
@@ Property / cites work @@
+Kripke models for linear logic
@@ Property / cites work: Kripke models for linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4085699
@@ Property / cites work: Q4085699 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4297115
@@ Property / cites work: Q4297115 / rank @@
+Normal rank
@@ Property / cites work @@
+Four-valued logic
@@ Property / cites work: Four-valued logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3599059
@@ Property / cites work: Q3599059 / rank @@
+Normal rank
@@ Property / cites work @@
+Gentzenization and decidability of some contraction-less relevant logics
+Normal rank
@@ Property / cites work @@
+Gentzenizations of relevant logics without distribution. I
+Normal rank
@@ Property / cites work @@
+Gentzenizations of relevant logics without distribution. II
+Normal rank
@@ Property / cites work @@
+Q4961804
@@ Property / cites work: Q4961804 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+Weakly implicative (fuzzy) logics. I: Basic properties
+Normal rank
@@ Property / cites work @@
+Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
+Normal rank
@@ Property / cites work @@
+Q5406033
@@ Property / cites work: Q5406033 / rank @@
+Normal rank
@@ Property / cites work @@
+Protoalgebraic logics
@@ Property / cites work: Protoalgebraic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530231
@@ Property / cites work: Q4530231 / rank @@
+Normal rank
@@ Property / cites work @@
+Sequent-systems and groupoid models. I
@@ Property / cites work: Sequent-systems and groupoid models. I / rank @@
+Normal rank
@@ Property / cites work @@
+Sequent-systems and groupoid models. II
@@ Property / cites work: Sequent-systems and groupoid models. II / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic completeness results for R-mingle and its extensions
+Normal rank
@@ Property / cites work @@
+A Kripke-style semantics for R-mingle using a binary accessibility relation
+Normal rank
@@ Property / cites work @@
+Q4342081
@@ Property / cites work: Q4342081 / rank @@
+Normal rank
@@ Property / cites work @@
+Partiality and its dual
@@ Property / cites work: Partiality and its dual / rank @@
+Normal rank
@@ Property / cites work @@
+Q3953765
@@ Property / cites work: Q3953765 / rank @@
+Normal rank
@@ Property / cites work @@
+Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
+Normal rank
@@ Property / cites work @@
+Models for entailment
@@ Property / cites work: Models for entailment / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics for quantified relevance logic
@@ Property / cites work: Semantics for quantified relevance logic / rank @@
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+Normal rank
@@ Property / cites work @@
+Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
+Normal rank
@@ Property / cites work @@
+Glivenko theorems for substructural logics over FL
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Predicate logics without the structure rules
@@ Property / cites work: Predicate logics without the structure rules / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
+Normal rank
@@ Property / cites work @@
+Substructural fuzzy logics
@@ Property / cites work: Substructural fuzzy logics / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness of relevant quantification theories
@@ Property / cites work: Completeness of relevant quantification theories / rank @@
+Normal rank
@@ Property / cites work @@
+Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\)
+Normal rank
@@ Property / cites work @@
+Kripke‐style semantics for many‐valued logics
@@ Property / cites work: Kripke‐style semantics for many‐valued logics / rank @@
+Normal rank
@@ Property / cites work @@
+Corrigendum to “Kripke‐style semantics for many‐valued logics”
+Normal rank
@@ Property / cites work @@
+Constructing locales from quantales
@@ Property / cites work: Constructing locales from quantales / rank @@
+Normal rank
@@ Property / cites work @@
+Q3484812
@@ Property / cites work: Q3484812 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical analysis of predicate logics without the contraction rule
+Normal rank
@@ Property / cites work @@
+Q4026931
@@ Property / cites work: Q4026931 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4940727
@@ Property / cites work: Q4940727 / rank @@
+Normal rank
@@ Property / cites work @@
+Logics without the contraction rule
@@ Property / cites work: Logics without the contraction rule / rank @@
+Normal rank
@@ Property / cites work @@
+Four-valued semantics for relevant logics (and some of their rivals)
+Normal rank
@@ Property / cites work @@
+Q4805593
@@ Property / cites work: Q4805593 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3197878
@@ Property / cites work: Q3197878 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996704
@@ Property / cites work: Q3996704 / rank @@
+Normal rank
@@ Property / cites work @@
+The semantics of entailment. II
@@ Property / cites work: The semantics of entailment. II / rank @@
+Normal rank
@@ Property / cites work @@
+The semantics of entailment. III
@@ Property / cites work: The semantics of entailment. III / rank @@
+Normal rank
@@ Property / cites work @@
+Q4077984
@@ Property / cites work: Q4077984 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3701398
@@ Property / cites work: Q3701398 / rank @@
+Normal rank
@@ Property / cites work @@
+A semantical study of constructible falsity
@@ Property / cites work: A semantical study of constructible falsity / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics for relevant logics
@@ Property / cites work: Semantics for relevant logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342080
@@ Property / cites work: Q4342080 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4438236
@@ Property / cites work: Q4438236 / rank @@
+Normal rank
@@ Property / cites work @@
+Routely-Meyer Semantics for some weak Boolean Logics, and some Translations
+Normal rank
@@ Property / cites work @@
+Q5188171
@@ Property / cites work: Q5188171 / rank @@
+Normal rank
@@ Property / cites work @@
+(Star-Based) three-valued Kripke-style semantics for pseudo- and weak-Boolean logics
+Normal rank