Cut and pay

DOI10.1007/s10849-005-9001-yzbMath1108.03034OpenAlexW2037434830MaRDI QIDQ851192

Marcelo Finger, Dov M. Gabbay

Publication date: 17 November 2006

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10849-005-9001-y

zbMATH Keywords

classical logiccontrolled cut-ruleresource aware logictableau-based decision procedureuniform substitution property

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Decidability of theories and sets of sentences (03B25) Cut-elimination and normal-form theorems (03F05) Classical propositional logic (03B05)

Related Items

Informational semantics, non-deterministic matrices and feasible deduction, The enduring scandal of deduction. Is propositional logic really uninformative?, A modal view on resource-bounded propositional logics, Semantics and proof-theory of depth bounded Boolean logics, An informational view of classical logic, Abduction as deductive saturation: a proof-theoretic inquiry, A curious dialogical logic and its composition problem, Approximations of modal logics: \(\mathbf K\) and beyond

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Don't eliminate cut
• Are tableaux an improvement on truth-tables? Cut-free proofs and bivalence
• Tractable reasoning via approximation
• The Taming of the Cut. Classical Refutations with Analytic Cut
• Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control
• Advances in Artificial Intelligence – SBIA 2004
• Logics in Artificial Intelligence