Rasiowa-Sikorski deduction systems with the rule of cut: a case study (Q2422312): Difference between revisions

@@ Property / DOI @@
-.1007/s11225-018-9795-7
@@ Property / DOI: 10.1007/s11225-018-9795-7 / rank @@
-Normal rank
@@ Property / cites work @@
+Translating non-classical logics into classical logic by using hidden variables
+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 @@
+Shortcuts and dynamic marking in the tableau method for adaptive logics
+Normal rank
@@ Property / cites work @@
+Don't eliminate cut
@@ Property / cites work: Don't eliminate cut / rank @@
+Normal rank
@@ Property / cites work @@
+Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics
+Normal rank
@@ Property / cites work @@
+Q4440555
@@ Property / cites work: Q4440555 / rank @@
+Normal rank
@@ Property / cites work @@
+An abductive Question-Answer System for the minimal logic of formal inconsistency \(\mathsf{mbC}\)
+Normal rank
@@ Property / cites work @@
+Dual erotetic calculi and the minimal \(\mathsf{LFI}\)
+Normal rank
@@ Property / cites work @@
+Are tableaux an improvement on truth-tables? Cut-free proofs and bivalence
+Normal rank
@@ Property / cites work @@
+The Taming of the Cut. Classical Refutations with Analytic Cut
+Normal rank
@@ Property / cites work @@
+Proof methods for modal and intuitionistic logics
@@ Property / cites work: Proof methods for modal and intuitionistic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996619
@@ Property / cites work: Q3996619 / rank @@
+Normal rank
@@ Property / cites work @@
+Relational dual tableau decision procedures and their applications to modal and intuitionistic logics
+Normal rank
@@ Property / cites work @@
+Tableaux and dual tableaux: transformation of proofs
+Normal rank
@@ Property / cites work @@
+Automatic proof generation in an axiomatic system for $\mathsf{CPL}$ by means of the method of Socratic proofs
+Normal rank
@@ Property / cites work @@
+Q4941933
@@ Property / cites work: Q4941933 / rank @@
+Normal rank
@@ Property / cites work @@
+Rasiowa-Sikorski deduction systems in computer science applications.
+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 @@
+Dual tableaux. Foundations, methodology, case studies
+Normal rank
@@ Property / cites work @@
+Q4215637
@@ Property / cites work: Q4215637 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3279278
@@ Property / cites work: Q3279278 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5734410
@@ Property / cites work: Q5734410 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5560258
@@ Property / cites work: Q5560258 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4610460
@@ Property / cites work: Q4610460 / 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
@@ Property / DOI @@
+.1007/S11225-018-9795-7
@@ Property / DOI: 10.1007/S11225-018-9795-7 / rank @@
+Normal rank