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

@@ 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