Neighborhood semantics for modal many-valued logics (Q1795204): Difference between revisions

@@ Property / cites work @@
+Fuzzy class theory
@@ Property / cites work: Fuzzy class theory / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy logics as the logics of chains
@@ Property / cites work: Fuzzy logics as the logics of chains / rank @@
+Normal rank
@@ Property / cites work @@
+On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
+Normal rank
@@ Property / cites work @@
+Q3598600
@@ Property / cites work: Q3598600 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of order-based modal logics
@@ Property / cites work: Decidability of order-based modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Bi-modal Godel logic over [0,1]-valued Kripke frames
+Normal rank
@@ Property / cites work @@
+Standard Gödel modal logics
@@ Property / cites work: Standard Gödel modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q2871197
@@ Property / cites work: Q2871197 / rank @@
+Normal rank
@@ Property / cites work @@
+Implicational (semilinear) logics. I: A new hierarchy
+Normal rank
@@ Property / cites work @@
+Implicational (semilinear) logics. III: Completeness properties
+Normal rank
@@ Property / cites work @@
+Protoalgebraic logics
@@ Property / cites work: Protoalgebraic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3867808
@@ Property / cites work: Q3867808 / rank @@
+Normal rank
@@ Property / cites work @@
+Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
+Normal rank
@@ Property / cites work @@
+Q3989936
@@ Property / cites work: Q3989936 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4022223
@@ Property / cites work: Q4022223 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3185647
@@ Property / cites work: Q3185647 / rank @@
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+On fuzzy modal logics \(S5(\mathcal C)\)
@@ Property / cites work: On fuzzy modal logics \(S5(\mathcal C)\) / rank @@
+Normal rank
@@ Property / cites work @@
+Extending maps to profinite completions in finitely generated quasivarieties
+Normal rank
@@ Property / cites work @@
+A proof of standard completeness for Esteva and Godo's logic MTL
+Normal rank
@@ Property / cites work @@
+Q4636305
@@ Property / cites work: Q4636305 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a Proof Theory of G\"odel Modal Logics
@@ Property / cites work: Towards a Proof Theory of G\"odel Modal Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Universal grammar
@@ Property / cites work: Universal grammar / rank @@
+Normal rank
@@ Property / cites work @@
+Philosophical problems in logic. Some recent developments
+Normal rank
@@ Property / cites work @@
+On modal extensions of Product fuzzy logic
@@ Property / cites work: On modal extensions of Product fuzzy logic / rank @@
+Normal rank