scientific article; zbMATH DE number 5000964

MaRDI QIDQ3367301zbMATH OpenFDO

Authors Hans-Jörg Tiede

Publication date 24 January 2006

zbMATH Keywords

generative capacity of proof-theoretical grammarsnatural deduction proof treesnon-associative Lambek grammars

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Structure of proofs (03F07)

Recommendations

• Inductive theorem proving based on tree grammars
• Automated natural deduction prover and experiments
• scientific article; zbMATH DE number 1689588
• scientific article; zbMATH DE number 3871341
• Applying tree languages in proof theory
• scientific article; zbMATH DE number 3976378
• scientific article; zbMATH DE number 991409
• Some applications of Gentzen's proof theory in automated deduction
• scientific article; zbMATH DE number 1761418

Cited in

(5)

• The tree-generative capacity of combinatory categorial grammars
• Inductive theorem proving based on tree grammars
• scientific article; zbMATH DE number 1689588 (Why is no real title available?)
• Applying tree languages in proof theory
• scientific article; zbMATH DE number 2019855 (Why is no real title available?)

This page was built for publication:

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