Algebraic semantics for the minimum many-valued modal logic over Ł\(_n\) (Q6058015): Difference between revisions

@@ Property / DOI @@
-.1016/j.fss.2021.08.010
@@ Property / DOI: 10.1016/j.fss.2021.08.010 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.fss.2021.08.010
+Normal rank
@@ Property / OpenAlex ID @@
+W3194712697
@@ Property / OpenAlex ID: W3194712697 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+Bi-modal Godel logic over [0,1]-valued Kripke frames
+Normal rank
@@ Property / cites work @@
+Algebraic Analysis of Many Valued Logics
@@ Property / cites work: Algebraic Analysis of Many Valued Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Proper n-valued Lukasiewicz algebras as S-algebras of Lukasiewicz n- valued propositional calculi
+Normal rank
@@ Property / cites work @@
+Algebraic foundations of many-valued reasoning
@@ Property / cites work: Algebraic foundations of many-valued reasoning / rank @@
+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 @@
+Varieties of complex algebras
@@ Property / cites work: Varieties of complex algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic point lattices of quasivarieties
@@ Property / cites work: Algebraic point lattices of quasivarieties / rank @@
+Normal rank
@@ Property / cites work @@
+Extending maps to profinite completions in finitely generated quasivarieties
+Normal rank
@@ Property / cites work @@
+Boolean Algebras with Operators. Part I
@@ Property / cites work: Boolean Algebras with Operators. Part I / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean Algebras with Operators
@@ Property / cites work: Boolean Algebras with Operators / rank @@
+Normal rank
@@ Property / cites work @@
+A completeness theorem in modal logic
@@ Property / cites work: A completeness theorem in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Advanced Łukasiewicz calculus and MV-algebras
@@ Property / cites work: Advanced Łukasiewicz calculus and MV-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4189257
@@ Property / cites work: Q4189257 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.FSS.2021.08.010
@@ Property / DOI: 10.1016/J.FSS.2021.08.010 / rank @@
+Normal rank