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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10992-005-0555-6
+Normal rank
@@ Property / OpenAlex ID @@
+W2135292584
@@ Property / OpenAlex ID: W2135292584 / rank @@
+Normal rank
@@ 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