A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes (Q895828): Difference between revisions

@@ Property / cites work @@
+Begründung einer strengen Implikation
@@ Property / cites work: Begründung einer strengen Implikation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4085699
@@ Property / cites work: Q4085699 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4487295
@@ Property / cites work: Q4487295 / rank @@
+Normal rank
@@ Property / cites work @@
+How a Computer Should Think
@@ Property / cites work: How a Computer Should Think / rank @@
+Normal rank
@@ Property / cites work @@
+Q3206928
@@ Property / cites work: Q3206928 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3962967
@@ Property / cites work: Q3962967 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4961804
@@ Property / cites work: Q4961804 / rank @@
+Normal rank
@@ Property / cites work @@
+Logics of Formal Inconsistency
@@ Property / cites work: Logics of Formal Inconsistency / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitive semantics for first-degree entailments and `coupled trees'
+Normal rank
@@ Property / cites work @@
+Partiality and its dual
@@ Property / cites work: Partiality and its dual / rank @@
+Normal rank
@@ Property / cites work @@
+On Łukasiewicz's four-valued modal logic
@@ Property / cites work: On Łukasiewicz's four-valued modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Proof systems combining classical and paraconsistent negations
+Normal rank
@@ Property / cites work @@
+Jaśkowski's criterion and three-valued paraconsistent logics
+Normal rank
@@ Property / cites work @@
+Q5805951
@@ Property / cites work: Q5805951 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5823282
@@ Property / cites work: Q5823282 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5613169
@@ Property / cites work: Q5613169 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5320764
@@ Property / cites work: Q5320764 / rank @@
+Normal rank
@@ Property / cites work @@
+An interpretation of Łukasiewicz's 4-valued modal logic
+Normal rank
@@ Property / cites work @@
+Q3435252
@@ Property / cites work: Q3435252 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5411434
@@ Property / cites work: Q5411434 / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of philosophical logic. Vol. 6
@@ Property / cites work: Handbook of philosophical logic. Vol. 6 / rank @@
+Normal rank
@@ Property / cites work @@
+The basic constructive logic for a weak sense of consistency
+Normal rank
@@ Property / cites work @@
+A binary Routley semantics for intuitionistic De Morgan minimal logic HM and its extensions
+Normal rank
@@ Property / cites work @@
+The Semantics of First Degree Entailment
@@ Property / cites work: The Semantics of First Degree Entailment / rank @@
+Normal rank
@@ Property / cites work @@
+Q3701398
@@ Property / cites work: Q3701398 / rank @@
+Normal rank
@@ Property / cites work @@
+A Lattice of Implicative Extensions of Regular Kleene's Logics
+Normal rank
@@ Property / cites work @@
+Q3105690
@@ Property / cites work: Q3105690 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4887106
@@ Property / cites work: Q4887106 / rank @@
+Normal rank
@@ Property / cites work @@
+Finitely many-valued paraconsistent systems
@@ Property / cites work: Finitely many-valued paraconsistent systems / rank @@
+Normal rank