Conditional excluded middle in systems of consequential implication (Q815021): Difference between revisions

@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4856189
@@ Property / cites work: Q4856189 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4698331
@@ Property / cites work: Q4698331 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4168590
@@ Property / cites work: Q4168590 / rank @@
+Normal rank
@@ Property / cites work @@
+Intensional logics without iterative axioms
@@ Property / cites work: Intensional logics without iterative axioms / rank @@
+Normal rank
@@ Property / cites work @@
+Q4156764
@@ Property / cites work: Q4156764 / rank @@
+Normal rank
@@ Property / cites work @@
+Decision procedures for logics of consequential implication
+Normal rank
@@ Property / cites work @@
+Consequential implication: A correction
@@ Property / cites work: Consequential implication: A correction / rank @@
+Normal rank
@@ Property / cites work @@
+Aristotle's Thesis between paraconsistency and modalization
+Normal rank
@@ Property / cites work @@
+Strong Boethius' thesis and consequential implication
+Normal rank