Deduction and abduction using a sequent calculus

MaRDI QIDQ4362904zbMATH OpenFDO

Authors Gianna Cioni, Alfonso Miola, Attilio Colagrossi

Publication date 13 November 1997

zbMATH Keywords

abductive logic problemssequent calculus

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Sequent calculus in natural deduction style
• Deductive argumentation by enhanced sequent calculi and dynamic derivations
• Intuitive minimal abduction in sequent calculi
• First order abduction via tableau and sequent calculi
• A sequent calculus for circumscription
• Sequent calculus for hybrid logic
• scientific article; zbMATH DE number 3296223
• A sequent calculus and a theorem prover for standard conditional logics
• Abstract interpretation based semantics of sequent calculi
• Natural deduction and sequent calculus for intuitionistic relevant logic

Cited in

(4)

• Deductive argumentation by enhanced sequent calculi and dynamic derivations
• A sequent calculus for automated reasoning in symbolic computation systems
• A desk-top sequent calculus machine
• A sequent calculus machine for symbolic computation systems

This page was built for publication: Deduction and abduction using a sequent calculus

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