Cut and pay

DOI10.1007/S10849-005-9001-YMaRDI QIDQ851192zbMATH OpenOpenAlexFDO

Authors Marcelo Finger, Dov 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) Classical propositional logic (03B05) Cut-elimination and normal-form theorems (03F05) Decidability of theories and sets of sentences (03B25)

Recommendations

• Towards an algorithmic construction of cut-elimination procedures
• Cut elimination for shallow modal logics
• scientific article; zbMATH DE number 1748575
• The Taming of the Cut. Classical Refutations with Analytic Cut
• Cut elimination for the unified logic

Cites work

• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 1493054 (Why is no real title available?)
• scientific article; zbMATH DE number 1749196 (Why is no real title available?)
• scientific article; zbMATH DE number 1907195 (Why is no real title available?)
• scientific article; zbMATH DE number 3274715 (Why is no real title available?)
• Advances in Artificial Intelligence – SBIA 2004
• Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control
• Are tableaux an improvement on truth-tables? Cut-free proofs and bivalence
• Don't eliminate cut
• Linear logic
• Logics in Artificial Intelligence
• The Taming of the Cut. Classical Refutations with Analytic Cut
• Tractable reasoning via approximation

Cited in

(9)

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

This page was built for publication: Cut and pay

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