Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics (Q744990): Difference between revisions

@@ Property / arXiv ID @@
+.3775
@@ Property / arXiv ID: 1408.3775 / rank @@
+Normal rank
@@ Property / cites work @@
+A non-deterministic view on non-classical negations
+Normal rank
@@ Property / cites work @@
+Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics
+Normal rank
@@ Property / cites work @@
+Q2751372
@@ Property / cites work: Q2751372 / rank @@
+Normal rank
@@ Property / cites work @@
+Effective Finite-Valued Semantics for Labelled Calculi
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Don't eliminate cut
@@ Property / cites work: Don't eliminate cut / rank @@
+Normal rank
@@ Property / cites work @@
+Q3680754
@@ Property / cites work: Q3680754 / rank @@
+Normal rank
@@ Property / cites work @@
+Classic-Like Analytic Tableaux for Finite-Valued Logics
+Normal rank
@@ Property / cites work @@
+Q4583680
@@ Property / cites work: Q4583680 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5311062
@@ Property / cites work: Q5311062 / rank @@
+Normal rank
@@ Property / cites work @@
+Are tableaux an improvement on truth-tables? Cut-free proofs and bivalence
+Normal rank
@@ Property / cites work @@
+Q2753597
@@ Property / cites work: Q2753597 / rank @@
+Normal rank
@@ Property / cites work @@
+The Taming of the Cut. Classical Refutations with Analytic Cut
+Normal rank
@@ Property / cites work @@
+A semantical analysis of the calculi \(C_n\)
@@ Property / cites work: A semantical analysis of the calculi \(C_n\) / rank @@
+Normal rank
@@ Property / cites work @@
+Finitely many-valued logics and natural deduction
@@ Property / cites work: Finitely many-valued logics and natural deduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751377
@@ Property / cites work: Q2751377 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4894942
@@ Property / cites work: Q4894942 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4789457
@@ Property / cites work: Q4789457 / rank @@
+Normal rank
@@ Property / cites work @@
+On notation for ordinal numbers
@@ Property / cites work: On notation for ordinal numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Q4289329
@@ Property / cites work: Q4289329 / rank @@
+Normal rank
@@ Property / cites work @@
+What is a non-truth-functional logic?
@@ Property / cites work: What is a non-truth-functional logic? / rank @@
+Normal rank
@@ Property / cites work @@
+Q4918415
@@ Property / cites work: Q4918415 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3086718
@@ Property / cites work: Q3086718 / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Axiom schemes for <i>m</i>-valued propositions calculi
+Normal rank
@@ Property / cites work @@
+Truth and falsehood. An inquiry into generalized logical values
+Normal rank
@@ Property / cites work @@
+Q5560258
@@ Property / cites work: Q5560258 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2710098
@@ Property / cites work: Q2710098 / rank @@
+Normal rank
@@ Property / cites work @@
+Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics
+Normal rank
@@ Property / cites work @@
+Theory of logical calculi. Basic theory of consequence operations
+Normal rank