An informational view of classical logic

DOI10.1016/J.TCS.2015.06.057MaRDI QIDQ897935zbMATH OpenOpenAlexFDO

Authors Marcello D'Agostino

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

zbMATH Keywords

computational complexitynatural deductionclassical propositional logicinformational semanticssemantic tableauxnon-deterministic matrices

Mathematics Subject Classification ID

Classical propositional logic (03B05) Complexity of proofs (03F20)

Recommendations

• scientific article; zbMATH DE number 1302505
• scientific article; zbMATH DE number 6131418
• The information in intuitionistic logic
• Argumentative logics: Reasoning with classically inconsistent information
• scientific article; zbMATH DE number 1222488
• scientific article; zbMATH DE number 821983
• On an inferential semantics for classical logic
• An intuitionistic characterization of classical logic
• Logic of infons, the propositional case
• scientific article; zbMATH DE number 6787706

Cites work

• scientific article; zbMATH DE number 6699702 (Why is no real title available?)
• scientific article; zbMATH DE number 3659568 (Why is no real title available?)
• scientific article; zbMATH DE number 1765698 (Why is no real title available?)
• scientific article; zbMATH DE number 7015111 (Why is no real title available?)
• scientific article; zbMATH DE number 1395652 (Why is no real title available?)
• scientific article; zbMATH DE number 3399180 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• A non-deterministic view on non-classical negations
• Advances in Artificial Intelligence – SBIA 2004
• Anytime clausal reasoning
• Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control
• Belief, awareness, and limited reasoning
• Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics
• Classical natural deduction
• Cut and pay
• Handbook of philosophical logic. Vol. 6
• Informational semantics, non-deterministic matrices and feasible deduction
• Intuitionistic propositional logic is polynomial-space complete
• Logics in Artificial Intelligence
• Logics of formal inconsistency
• Models of awareness
• Non-deterministic Multiple-valued Structures
• Semantics and proof-theory of depth bounded Boolean logics
• Sentences, belief and logical omniscience, or what does deduction tell us?
• Tableau methods for classical propositional logic
• Tableau methods for substructural logics
• Tableaux for many-valued logics
• The Taming of the Cut. Classical Refutations with Analytic Cut
• The enduring scandal of deduction. Is propositional logic really uninformative?
• The universe of propositional approximations
• Tractable depth-bounded logics and the problem of logical omniscience
• Tractable reasoning via approximation

Cited in

(13)

• Argumentative logics: Reasoning with classically inconsistent information
• Normality, non-contamination and logical depth in classical natural deduction
• The enduring scandal of deduction. Is propositional logic really uninformative?
• Informational semantics, non-deterministic matrices and feasible deduction
• Fractional semantics for classical logic
• Depth-bounded reasoning. Volume 1: classical propositional logic
• scientific article; zbMATH DE number 6699702 (Why is no real title available?)
• scientific article; zbMATH DE number 6787706 (Why is no real title available?)
• Depth-bounded belief functions
• scientific article; zbMATH DE number 6131418 (Why is no real title available?)
• Classical logic, argument and dialectic
• A multi-agent depth bounded Boolean logic
• A modal view on resource-bounded propositional logics

This page was built for publication: An informational view of classical logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q897935)