Effective Finite-Valued Approximations of General Propositional Logics (Q5452176): Difference between revisions

@@ Property / cites work @@
+The semantics and proof theory of linear logic
@@ Property / cites work: The semantics and proof theory of linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Labeled calculi and finite-valued logics
@@ Property / cites work: Labeled calculi and finite-valued logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4525273
@@ Property / cites work: Q4525273 / rank @@
+Normal rank
@@ Property / cites work @@
+Systematization of finite many-valued logics through the method of tableaux
+Normal rank
@@ Property / cites work @@
+Q3867808
@@ Property / cites work: Q3867808 / rank @@
+Normal rank
@@ Property / cites work @@
+A propositional calculus with denumerable matrix
@@ Property / cites work: A propositional calculus with denumerable matrix / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical investigations in Heyting's intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Q2757760
@@ Property / cites work: Q2757760 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4289327
@@ Property / cites work: Q4289327 / rank @@
+Normal rank
@@ Property / cites work @@
+Satisfiability in many-valued sentential logic is NP-complete
+Normal rank
@@ Property / cites work @@
+Q5661846
@@ Property / cites work: Q5661846 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4495851
@@ Property / cites work: Q4495851 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability and the finite model property
@@ Property / cites work: Decidability and the finite model property / rank @@
+Normal rank