Informational semantics, non-deterministic matrices and feasible deduction (Q281148): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2014.06.004
@@ Property / DOI: 10.1016/j.entcs.2014.06.004 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+F20
@@ Property / Mathematics Subject Classification ID: 03F20 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B05
@@ Property / Mathematics Subject Classification ID: 03B05 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6578786
@@ Property / zbMATH DE Number: 6578786 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+classical propositional logic
@@ Property / zbMATH Keywords: classical propositional logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+informational semantics
@@ Property / zbMATH Keywords: informational semantics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+nondeterministic matrices
@@ Property / zbMATH Keywords: nondeterministic matrices / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+computational complexity
@@ Property / zbMATH Keywords: computational complexity / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+natural deduction
@@ Property / zbMATH Keywords: natural deduction / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+semantic tableaux
@@ Property / zbMATH Keywords: semantic tableaux / 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.entcs.2014.06.004
+Normal rank
@@ Property / OpenAlex ID @@
+W2053323297
@@ Property / OpenAlex ID: W2053323297 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113317871
@@ Property / Wikidata QID: Q113317871 / rank @@
+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 @@
+Non-deterministic Multiple-valued Structures
@@ Property / cites work: Non-deterministic Multiple-valued Structures / 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 @@
+Q3007254
@@ Property / cites work: Q3007254 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3584010
@@ Property / cites work: Q3584010 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2973406
@@ Property / cites work: Q2973406 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics and proof-theory of depth bounded Boolean logics
+Normal rank
@@ Property / cites work @@
+The enduring scandal of deduction. Is propositional logic really uninformative?
+Normal rank
@@ Property / cites work @@
+Q2753602
@@ Property / cites work: Q2753602 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4935259
@@ Property / cites work: Q4935259 / rank @@
+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 @@
+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 @@
+Q5666510
@@ Property / cites work: Q5666510 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Conceptions of truth in intuitionism
@@ Property / cites work: Conceptions of truth in intuitionism / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2014.06.004
@@ Property / DOI: 10.1016/J.ENTCS.2014.06.004 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:281148