An informational view of classical logic

DOI10.1016/J.TCS.2015.06.057zbMATH Open1332.03002OpenAlexW767163729MaRDI QIDQ897935FDOQ897935

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

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

zbMATH Keywords

computational complexitynatural deductionclassical propositional logicinformational semanticssemantic tableauxnon-deterministic matrices

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Belief, awareness, and limited reasoning
• Tractable reasoning via approximation
• Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control
• Logics of Formal Inconsistency
• Advances in Artificial Intelligence – SBIA 2004
• Anytime clausal reasoning
• The universe of propositional approximations
• Tableau methods for substructural logics
• Informational semantics, non-deterministic matrices and feasible deduction
• Title not available (Why is that?)
• Title not available (Why is that?)
• Non-deterministic Multiple-valued Structures
• Title not available (Why is that?)
• Semantics and proof-theory of depth bounded Boolean logics
• The Taming of the Cut. Classical Refutations with Analytic Cut
• Title not available (Why is that?)
• Title not available (Why is that?)
• Logics in Artificial Intelligence
• Title not available (Why is that?)
• A non-deterministic view on non-classical negations
• The enduring scandal of deduction. Is propositional logic really uninformative?
• Cut and pay
• Tableau methods for classical propositional logic
• Intuitionistic propositional logic is polynomial-space complete
• Handbook of philosophical logic. Vol. 6
• SENTENCES, BELIEF AND LOGICAL OMNISCIENCE, OR WHAT DOES DEDUCTION TELL US?
• Tableaux for many-valued logics
• Title not available (Why is that?)
• Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics
• Title not available (Why is that?)

Cited In (9)

• Normality, non-contamination and logical depth in classical natural deduction
• Title not available (Why is that?)
• Argumentative logics: Reasoning with classically inconsistent information
• A modal view on resource-bounded propositional logics
• Title not available (Why is that?)
• A multi-agent depth bounded Boolean logic
• Depth-bounded belief functions
• Title not available (Why is that?)
• Classical logic, argument and dialectic

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)