Computational properties of partial non-deterministic matrices and their logics (Q2151408): Difference between revisions

@@ Property / cites work @@
+Closure properties and decision problems of dag automata
+Normal rank
@@ Property / cites work @@
+Q3112289
@@ Property / cites work: Q3112289 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-deterministic Multiple-valued Structures
@@ Property / cites work: Non-deterministic Multiple-valued Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q5446288
@@ Property / cites work: Q5446288 / rank @@
+Normal rank
@@ Property / cites work @@
+REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS
+Normal rank
@@ Property / cites work @@
+Finite-valued semantics for canonical labelled calculi
+Normal rank
@@ Property / cites work @@
+Analytic calculi for monadic PNmatrices
@@ Property / cites work: Analytic calculi for monadic PNmatrices / rank @@
+Normal rank
@@ Property / cites work @@
+On Axioms and Rexpansions
@@ Property / cites work: On Axioms and Rexpansions / rank @@
+Normal rank
@@ Property / cites work @@
+Taming Paraconsistent (and Other) Logics
@@ Property / cites work: Taming Paraconsistent (and Other) Logics / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of theorem-proving procedures
@@ Property / cites work: The complexity of theorem-proving procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Q3185647
@@ Property / cites work: Q3185647 / rank @@
+Normal rank
@@ Property / cites work @@
+A test for the existence of tautologies according to many-valued truth-tables
+Normal rank
@@ Property / cites work @@
+A test for the equality of truth-tables
@@ Property / cites work: A test for the equality of truth-tables / rank @@
+Normal rank
@@ Property / cites work @@
+Reducibility among Combinatorial Problems
@@ Property / cites work: Reducibility among Combinatorial Problems / rank @@
+Normal rank
@@ Property / cites work @@
+Function Algebras on Finite Sets
@@ Property / cites work: Function Algebras on Finite Sets / rank @@
+Normal rank
@@ Property / cites work @@
+An unexpected Boolean connective
@@ Property / cites work: An unexpected Boolean connective / rank @@
+Normal rank
@@ Property / cites work @@
+On the characterization of fibred logics, with applications to conservativity and finite-valuedness
+Normal rank
@@ Property / cites work @@
+Axiomatizing non-deterministic many-valued generalized consequence relations
+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 @@
+Q4159022
@@ Property / cites work: Q4159022 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of logical calculi. Basic theory of consequence operations
+Normal rank