BELNAP–DUNN MODAL LOGICS: TRUTH CONSTANTS VS. TRUTH VALUES (Q5107540): Difference between revisions

@@ Property / author @@
-Sergei P. Odintsov
@@ Property / author: Sergei P. Odintsov / rank @@
-Normal rank
@@ Property / author @@
+Sergei P. Odintsov
@@ Property / author: Sergei P. Odintsov / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning with logical bilattices
@@ Property / cites work: Reasoning with logical bilattices / rank @@
+Normal rank
@@ Property / cites work @@
+The value of the four values
@@ Property / cites work: The value of the four values / rank @@
+Normal rank
@@ Property / cites work @@
+On the expressive power of three-valued and four-valued languages
+Normal rank
@@ Property / cites work @@
+Residuated Lattices as an Algebraic Semantics for Paraconsistent Nelson's Logic
+Normal rank
@@ Property / cites work @@
+Constructive Logic with Strong Negation as a Substructural Logic
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+Normal rank
@@ Property / cites work @@
+Kripke Semantics for Modal Bilattice Logic
@@ Property / cites work: Kripke Semantics for Modal Bilattice Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and techniques in modal logic
@@ Property / cites work: Tools and techniques in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive negations and paraconsistency
@@ Property / cites work: Constructive negations and paraconsistency / rank @@
+Normal rank
@@ Property / cites work @@
+Q4982352
@@ Property / cites work: Q4982352 / rank @@
+Normal rank
@@ Property / cites work @@
+Belnap Constants and Nelson Logic
@@ Property / cites work: Belnap Constants and Nelson Logic / rank @@
+Normal rank
@@ Property / cites work @@
+\(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics
+Normal rank
@@ Property / cites work @@
+The lattice of Belnapian modal logics: Special extensions and counterparts
+Normal rank
@@ Property / cites work @@
+Q2901198
@@ Property / cites work: Q2901198 / rank @@
+Normal rank
@@ Property / cites work @@
+Disentangling \textsf{FDE}-based paraconsistent modal logics
+Normal rank
@@ Property / cites work @@
+From Paraconsistent Logic to Dialetheic Logic
@@ Property / cites work: From Paraconsistent Logic to Dialetheic Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Paraconsistent Modal Logics
@@ Property / cites work: Paraconsistent Modal Logics / rank @@
+Normal rank
@@ Property / cites work @@
+On Belnapian modal algebras: representations, homomorphisms, congruences, and so on
+Normal rank
@@ Property / cites work @@
+Constructive logic with strong negation is a substructural logic. I
+Normal rank
@@ Property / cites work @@
+Notes on \(\eta\)-lattices and constructive logic with strong negation
+Normal rank
@@ Property / cites work @@
+Q5483018
@@ Property / cites work: Q5483018 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s1755020319000121
+Normal rank
@@ Property / OpenAlex ID @@
+W2915692292
@@ Property / OpenAlex ID: W2915692292 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5107540