An independent axiomatisation for free short-circuit logic (Q5375874): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3104025423
@@ Property / OpenAlex ID: W3104025423 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.05718
@@ Property / arXiv ID: 1707.05718 / rank @@
+Normal rank
@@ Property / cites work @@
+On the axiomatisability of priority
@@ Property / cites work: On the axiomatisability of priority / rank @@
+Normal rank
@@ Property / cites work @@
+A propositional logic with 4 values: true, false, divergent and meaningless
+Normal rank
@@ Property / cites work @@
+Module algebra
@@ Property / cites work: Module algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Proposition algebra
@@ Property / cites work: Proposition algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Proposition Algebra and Short-Circuit Logic
@@ Property / cites work: Proposition Algebra and Short-Circuit Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Evaluation Trees for Proposition Algebra
@@ Property / cites work: Evaluation Trees for Proposition Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3925859
@@ Property / cites work: Q3925859 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4343990
@@ Property / cites work: Q4343990 / rank @@
+Normal rank
@@ Property / cites work @@
+A Couple of Novelties in the Propositional Calculus
+Normal rank
@@ Property / cites work @@
+Q5601829
@@ Property / cites work: Q5601829 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4413693
@@ Property / cites work: Q4413693 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q129975444
@@ Property / Wikidata QID: Q129975444 / rank @@
+Normal rank