Paraconsistent Modal Logics (Q2825416): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2011.10.014
+Normal rank
@@ Property / OpenAlex ID @@
+W2153536416
@@ Property / OpenAlex ID: W2153536416 / rank @@
+Normal rank
@@ Property / cites work @@
+Topological representation for implication algebras
+Normal rank
@@ Property / cites work @@
+Constructible falsity and inexact predicates
@@ Property / cites work: Constructible falsity and inexact predicates / rank @@
+Normal rank
@@ Property / cites work @@
+Q3206928
@@ Property / cites work: Q3206928 / 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 @@
+Varieties of interlaced bilattices
@@ Property / cites work: Varieties of interlaced bilattices / rank @@
+Normal rank
@@ Property / cites work @@
+Residuated Lattices as an Algebraic Semantics for Paraconsistent Nelson's Logic
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\)
+Normal rank
@@ Property / cites work @@
+Q4178997
@@ Property / cites work: Q4178997 / rank @@
+Normal rank
@@ Property / cites work @@
+Dualities for Equational Classes of Brouwerian Algebras and Heyting Algebras
+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 @@
+Belnap's Four-Valued Logic and De Morgan Lattices
@@ Property / cites work: Belnap's Four-Valued Logic and De Morgan Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Residuated bilattices
@@ Property / cites work: Residuated bilattices / 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 @@
+\(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics
+Normal rank
@@ Property / cites work @@
+Q4463936
@@ Property / cites work: Q4463936 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3367330
@@ Property / cites work: Q3367330 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2901198
@@ Property / cites work: Q2901198 / rank @@
+Normal rank
@@ Property / cites work @@
+Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions
+Normal rank
@@ Property / cites work @@
+N-lattices and constructive logic with strong negation
+Normal rank
@@ Property / cites work @@
+An algebraic approach to non-classical logics
@@ Property / cites work: An algebraic approach to non-classical logics / rank @@
+Normal rank
@@ Property / cites work @@
+Modal Operators over Constructive Logic
@@ Property / cites work: Modal Operators over Constructive Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive logic with strong negation is a substructural logic. I
+Normal rank
@@ Property / cites work @@
+Minimal varieties of involutive residuated lattices
+Normal rank
@@ Property / cites work @@
+Notes on \(\eta\)-lattices and constructive logic with strong negation
+Normal rank