The Method of Socratic Proofs Meets Correspondence Analysis (Q5241406): Difference between revisions

@@ Property / cites work @@
+A calculus of antinomics
@@ Property / cites work: A calculus of antinomics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3206928
@@ Property / cites work: Q3206928 / rank @@
+Normal rank
@@ Property / cites work @@
+On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis
+Normal rank
@@ Property / cites work @@
+Dual erotetic calculi and the minimal \(\mathsf{LFI}\)
+Normal rank
@@ Property / cites work @@
+Intuitive semantics for first-degree entailments and `coupled trees'
+Normal rank
@@ Property / cites work @@
+Q3996619
@@ Property / cites work: Q3996619 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5800353
@@ Property / cites work: Q5800353 / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of philosophical logic. Vol. 8
@@ Property / cites work: Handbook of philosophical logic. Vol. 8 / rank @@
+Normal rank
@@ Property / cites work @@
+Bochvar's three-valued logic and literal paralogics: Their lattice and functional equivalence
+Normal rank
@@ Property / cites work @@
+COMPLETENESS VIA CORRESPONDENCE FOR EXTENSIONS OF THE LOGIC OF PARADOX
+Normal rank
@@ Property / cites work @@
+Q3869311
@@ Property / cites work: Q3869311 / rank @@
+Normal rank
@@ Property / cites work @@
+Rational agency from a truth-functional perspective
+Normal rank
@@ Property / cites work @@
+Q5695175
@@ Property / cites work: Q5695175 / rank @@
+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 @@
+The method of Socratic proofs for modal propositional logics: K5, S4.2, S4.3, S4F, S4R, S4M and G.
+Normal rank
@@ Property / cites work @@
+Functional Completeness in CPL via Correspondence Analysis
+Normal rank
@@ Property / cites work @@
+Q2981255
@@ Property / cites work: Q2981255 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4997950
@@ Property / cites work: Q4997950 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized correspondence analysis for three-valued logics
+Normal rank
@@ Property / cites work @@
+AUTOMATED CORRESPONDENCE ANALYSIS FOR THE BINARY EXTENSIONS OF THE LOGIC OF PARADOX
+Normal rank
@@ Property / cites work @@
+Q5240589
@@ Property / cites work: Q5240589 / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of paradox
@@ Property / cites work: The logic of paradox / rank @@
+Normal rank
@@ Property / cites work @@
+Q4159022
@@ Property / cites work: Q4159022 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4982110
@@ Property / cites work: Q4982110 / rank @@
+Normal rank
@@ Property / cites work @@
+A Lattice of Implicative Extensions of Regular Kleene's Logics
+Normal rank
@@ Property / cites work @@
+Q4811767
@@ Property / cites work: Q4811767 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2872612
@@ Property / cites work: Q2872612 / 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
@@ Property / cites work @@
+Socratic proofs and paraconsistency: A case study
@@ Property / cites work: Socratic proofs and paraconsistency: A case study / rank @@
+Normal rank