The universe of propositional approximations (Q2369011): Difference between revisions

@@ Property / cites work @@
+Q4085699
@@ Property / cites work: Q4085699 / rank @@
+Normal rank
@@ Property / cites work @@
+Labelled natural deduction for substructural logics
+Normal rank
@@ Property / cites work @@
+Semantical and computational aspects of Horn approximations
+Normal rank
@@ Property / cites work @@
+On the complexity of entailment in propositional multivalued logics
+Normal rank
@@ Property / cites work @@
+Q5679729
@@ Property / cites work: Q5679729 / rank @@
+Normal rank
@@ Property / cites work @@
+Approximate belief revision
@@ Property / cites work: Approximate belief revision / rank @@
+Normal rank
@@ Property / cites work @@
+Are tableaux an improvement on truth-tables? Cut-free proofs and bivalence
+Normal rank
@@ Property / cites work @@
+A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics
+Normal rank
@@ Property / cites work @@
+Logics in Artificial Intelligence
@@ Property / cites work: Logics in Artificial Intelligence / rank @@
+Normal rank
@@ Property / cites work @@
+Advances in Artificial Intelligence – SBIA 2004
@@ Property / cites work: Advances in Artificial Intelligence – SBIA 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4437965
@@ Property / cites work: Q4437965 / rank @@
+Normal rank
@@ Property / cites work @@
+Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control
+Normal rank
@@ Property / cites work @@
+Tractable reasoning via approximation
@@ Property / cites work: Tractable reasoning via approximation / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge compilation and theory approximation
@@ Property / cites work: Knowledge compilation and theory approximation / rank @@
+Normal rank
@@ Property / cites work @@
+Q5560258
@@ Property / cites work: Q5560258 / rank @@
+Normal rank