Semantics and proof-theory of depth bounded Boolean logics (Q385021): Difference between revisions

@@ 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.2013.02.014
+Normal rank
@@ Property / OpenAlex ID @@
+W1977750248
@@ Property / OpenAlex ID: W1977750248 / rank @@
+Normal rank
@@ Property / cites work @@
+Natural 3-valued logics—characterization and proof theory
+Normal rank
@@ Property / cites work @@
+A non-deterministic view on non-classical negations
+Normal rank
@@ Property / cites work @@
+Q4539639
@@ Property / cites work: Q4539639 / rank @@
+Normal rank
@@ Property / cites work @@
+Cut-elimination and quantification in canonical systems
+Normal rank
@@ Property / cites work @@
+Q3858244
@@ Property / cites work: Q3858244 / rank @@
+Normal rank
@@ Property / cites work @@
+A First Order Extension of Stålmarck’s Method
@@ Property / cites work: A First Order Extension of Stålmarck’s Method / rank @@
+Normal rank
@@ Property / cites work @@
+First order Stålmarck. Universal lemmas through branch merges
+Normal rank
@@ Property / cites work @@
+Q4342079
@@ Property / cites work: Q4342079 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4152212
@@ Property / cites work: Q4152212 / 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 @@
+Are tableaux an improvement on truth-tables? Cut-free proofs and bivalence
+Normal rank
@@ Property / cites work @@
+Q2753597
@@ Property / cites work: Q2753597 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3007254
@@ Property / cites work: Q3007254 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3584010
@@ Property / cites work: Q3584010 / rank @@
+Normal rank
@@ Property / cites work @@
+The enduring scandal of deduction. Is propositional logic really uninformative?
+Normal rank
@@ Property / cites work @@
+The Taming of the Cut. Classical Refutations with Analytic Cut
+Normal rank
@@ Property / cites work @@
+Anytime clausal reasoning
@@ Property / cites work: Anytime clausal reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4133603
@@ Property / cites work: Q4133603 / rank @@
+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 @@
+Cut and pay
@@ Property / cites work: Cut and pay / rank @@
+Normal rank
@@ Property / cites work @@
+Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control
+Normal rank
@@ Property / cites work @@
+The universe of propositional approximations
@@ Property / cites work: The universe of propositional approximations / rank @@
+Normal rank
@@ Property / cites work @@
+The new logic
@@ Property / cites work: The new logic / rank @@
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. I
@@ Property / cites work: Untersuchungen über das logische Schliessen. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751354
@@ Property / cites work: Q2751354 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5666510
@@ Property / cites work: Q5666510 / rank @@
+Normal rank
@@ Property / cites work @@
+Natural deduction, hybrid systems and modal logics
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4860661
@@ Property / cites work: Q4860661 / rank @@
+Normal rank
@@ Property / cites work @@
+On Inversion Principles
@@ Property / cites work: On Inversion Principles / rank @@
+Normal rank
@@ Property / cites work @@
+The scandal of deduction. Hintikka on the information yield of deductive inferences
+Normal rank
@@ Property / cites work @@
+Q5610986
@@ Property / cites work: Q5610986 / rank @@
+Normal rank