Goal-directed tableaux

MaRDI QIDQ3086703zbMATH OpenFDO

Authors Joke Meheus, Kristof De Clercq

Publication date 30 March 2011

zbMATH Keywords

analytic tableaux

Mathematics Subject Classification ID

Classical propositional logic (03B05) Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07)

Recommendations

• scientific article; zbMATH DE number 5511125
• scientific article; zbMATH DE number 1552522
• scientific article; zbMATH DE number 1395652
• Goal-directed proof theory
• The complexity of analytic tableaux

Cited in

(1)

• Abduction through semantic tableaux versus abduction through goal-directed proofs

This page was built for publication: Goal-directed tableaux

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