An informational view of classical logic
From MaRDI portal
Publication:897935
DOI10.1016/j.tcs.2015.06.057zbMath1332.03002OpenAlexW767163729MaRDI QIDQ897935
Publication date: 8 December 2015
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2015.06.057
computational complexitynatural deductionclassical propositional logicinformational semanticssemantic tableauxnon-deterministic matrices
Related Items
A modal view on resource-bounded propositional logics, Depth-bounded belief functions, Classical logic, argument and dialectic, A multi-agent depth bounded Boolean logic, Normality, non-contamination and logical depth in classical natural deduction
Cites Work
- Informational semantics, non-deterministic matrices and feasible deduction
- Semantics and proof-theory of depth bounded Boolean logics
- Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics
- A non-deterministic view on non-classical negations
- The enduring scandal of deduction. Is propositional logic really uninformative?
- Cut and pay
- Belief, awareness, and limited reasoning
- Intuitionistic propositional logic is polynomial-space complete
- Anytime clausal reasoning
- Handbook of philosophical logic. Vol. 6
- Tractable reasoning via approximation
- The universe of propositional approximations
- Non-deterministic Multiple-valued Structures
- SENTENCES, BELIEF AND LOGICAL OMNISCIENCE, OR WHAT DOES DEDUCTION TELL US?
- The Taming of the Cut. Classical Refutations with Analytic Cut
- Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control
- Logics of Formal Inconsistency
- Advances in Artificial Intelligence – SBIA 2004
- Logics in Artificial Intelligence
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
