Classic-Like Analytic Tableaux for Finite-Valued Logics (Q3638289): Difference between revisions

@@ Property / cites work @@
+Sequent calculi for finite-valued Lukasiewicz logics via Boolean decompositions
+Normal rank
@@ Property / cites work @@
+Non-deterministic Multiple-valued Structures
@@ Property / cites work: Non-deterministic Multiple-valued Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751372
@@ Property / cites work: Q2751372 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4453706
@@ Property / cites work: Q4453706 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5311062
@@ Property / cites work: Q5311062 / rank @@
+Normal rank
@@ Property / cites work @@
+Systematization of finite many-valued logics through the method of tableaux
+Normal rank
@@ Property / cites work @@
+Q2751377
@@ Property / cites work: Q2751377 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753604
@@ Property / cites work: Q2753604 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4789457
@@ Property / cites work: Q4789457 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812189
@@ Property / cites work: Q5812189 / rank @@
+Normal rank
@@ Property / cites work @@
+The Fregean axiom and Polish mathematical logic in the \(1920^s\)
+Normal rank
@@ Property / cites work @@
+Theory of logical calculi. Basic theory of consequence operations
+Normal rank