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

@@ Property / DOI @@
-.1016/j.tcs.2006.01.007
@@ Property / DOI: 10.1016/j.tcs.2006.01.007 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2006.01.007
+Normal rank
@@ Property / OpenAlex ID @@
+W2041848570
@@ Property / OpenAlex ID: W2041848570 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1016/J.TCS.2006.01.007
@@ Property / DOI: 10.1016/J.TCS.2006.01.007 / rank @@
+Normal rank