\(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics (Q454381): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+G10
@@ Property / Mathematics Subject Classification ID: 03G10 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B45
@@ Property / Mathematics Subject Classification ID: 03B45 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B15
@@ Property / Mathematics Subject Classification ID: 08B15 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6088855
@@ Property / zbMATH DE Number: 6088855 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+BK-lattice
@@ Property / zbMATH Keywords: BK-lattice / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+twist-structure
@@ Property / zbMATH Keywords: twist-structure / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+lattice of subvarieties
@@ Property / zbMATH Keywords: lattice of subvarieties / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Belnapian modal logic
@@ Property / zbMATH Keywords: Belnapian modal logic / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11225-012-9380-4
+Normal rank
@@ Property / OpenAlex ID @@
+W1992888677
@@ Property / OpenAlex ID: W1992888677 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructible falsity and inexact predicates
@@ Property / cites work: Constructible falsity and inexact predicates / rank @@
+Normal rank
@@ Property / cites work @@
+Distributive lattices with an additional unary operation
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic logic with strong negation
@@ Property / cites work: Intuitionistic logic with strong negation / rank @@
+Normal rank
@@ Property / cites work @@
+On extensions of intermediate logics by strong negation
+Normal rank
@@ Property / cites work @@
+Constructible falsity
@@ Property / cites work: Constructible falsity / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic Semantics for Paraconsistent Nelson's Logic
+Normal rank
@@ Property / cites work @@
+On the representation of \(\mathbf{N4}\)-lattices
@@ Property / cites work: On the representation of \(\mathbf{N4}\)-lattices / rank @@
+Normal rank
@@ Property / cites work @@
+On axiomatizing Shramko-Wansing's logic
@@ Property / cites work: On axiomatizing Shramko-Wansing's logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2901198
@@ Property / cites work: Q2901198 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3518425
@@ Property / cites work: Q3518425 / rank @@
+Normal rank
@@ Property / cites work @@
+MANY-VALUED MODAL LOGICS: A SIMPLE APPROACH
@@ Property / cites work: MANY-VALUED MODAL LOGICS: A SIMPLE APPROACH / rank @@
+Normal rank
@@ Property / cites work @@
+Twist-structures semantics for the logics of the hierarchy <i>I<sup>n</sup>P<sup>k</sup></i>
+Normal rank
@@ Property / cites work @@
+N-lattices and constructive logic with strong negation
+Normal rank
@@ Property / cites work @@
+Q3858239
@@ Property / cites work: Q3858239 / rank @@
+Normal rank
@@ Property / cites work @@
+Distributive lattices with a dual homomorphic operation
+Normal rank
@@ Property / cites work @@
+Notes on \(\eta\)-lattices and constructive logic with strong negation
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:454381