Dual erotetic calculi and the minimal \(\mathsf{LFI}\) (Q897482): 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/s11225-015-9617-0
+Normal rank
@@ Property / OpenAlex ID @@
+W824969079
@@ Property / OpenAlex ID: W824969079 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q59407495
@@ Property / Wikidata QID: Q59407495 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3837723
@@ Property / cites work: Q3837723 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3909031
@@ Property / cites work: Q3909031 / 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 @@
+Q2721192
@@ Property / cites work: Q2721192 / rank @@
+Normal rank
@@ Property / cites work @@
+Logics of Formal Inconsistency
@@ Property / cites work: Logics of Formal Inconsistency / rank @@
+Normal rank
@@ Property / cites work @@
+Q4440555
@@ Property / cites work: Q4440555 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996619
@@ Property / cites work: Q3996619 / rank @@
+Normal rank
@@ Property / cites work @@
+Natural deduction, hybrid systems and modal logics
+Normal rank
@@ Property / cites work @@
+A survey of nonstandard sequent calculi
@@ Property / cites work: A survey of nonstandard sequent calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Q5695175
@@ Property / cites work: Q5695175 / rank @@
+Normal rank
@@ Property / cites work @@
+The method of Socratic proofs for modal propositional logics: K5, S4.2, S4.3, S4F, S4R, S4M and G.
+Normal rank
@@ Property / cites work @@
+Socratic trees
@@ Property / cites work: Socratic trees / rank @@
+Normal rank
@@ Property / cites work @@
+Logical foundations for rule-based systems.
@@ Property / cites work: Logical foundations for rule-based systems. / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744125
@@ Property / cites work: Q2744125 / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Intuitionistic Socratic procedures
@@ Property / cites work: Intuitionistic Socratic procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Q5560258
@@ Property / cites work: Q5560258 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499084
@@ Property / cites work: Q4499084 / rank @@
+Normal rank
@@ Property / cites work @@
+Socratic proofs
@@ Property / cites work: Socratic proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Q2872612
@@ Property / cites work: Q2872612 / rank @@
+Normal rank
@@ Property / cites work @@
+Socratic proofs for quantifiers
@@ Property / cites work: Socratic proofs for quantifiers / rank @@
+Normal rank
@@ Property / cites work @@
+Socratic proofs and paraconsistency: A case study
@@ Property / cites work: Socratic proofs and paraconsistency: A case study / rank @@
+Normal rank