Socratic proofs and paraconsistency: A case study (Q813092): Difference between revisions

@@ Property / cites work @@
+Q3909031
@@ Property / cites work: Q3909031 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3784040
@@ Property / cites work: Q3784040 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4250060
@@ Property / cites work: Q4250060 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5695174
@@ Property / cites work: Q5695174 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4487295
@@ Property / cites work: Q4487295 / rank @@
+Normal rank
@@ Property / cites work @@
+The adaptive logic of compatibility
@@ Property / cites work: The adaptive logic of compatibility / rank @@
+Normal rank
@@ Property / cites work @@
+Q2721192
@@ Property / cites work: Q2721192 / rank @@
+Normal rank
@@ Property / cites work @@
+Shortcuts and dynamic marking in the tableau method for adaptive logics
+Normal rank
@@ Property / cites work @@
+Q4159022
@@ Property / cites work: Q4159022 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5560258
@@ Property / cites work: Q5560258 / rank @@
+Normal rank
@@ Property / cites work @@
+A simplified formalization of predicate logic with identity
+Normal rank
@@ Property / cites work @@
+The logic of questions as a theory of erotetic arguments
+Normal rank
@@ Property / cites work @@
+Q4811767
@@ Property / cites work: Q4811767 / rank @@
+Normal rank
@@ Property / cites work @@
+Socratic proofs
@@ Property / cites work: Socratic proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Socratic proofs for quantifiers
@@ Property / cites work: Socratic proofs for quantifiers / rank @@
+Normal rank