scientific article; zbMATH DE number 63734

MaRDI QIDQ4013071zbMATH OpenFDO

Authors Jan Štěpán

Publication date 27 September 1992

Full work available at URL https://eudml.org/doc/23542

zbMATH Keywords

monadic predicate calculusanalytical tables

Mathematics Subject Classification ID

Cited in

(14)

• A nucleus of a theorem-prover described inAlgol-68
• Mathematical programming embeddings of logic
• Foundations of a theorem prover for functional and mathematical uses
• scientific article; zbMATH DE number 13446 (Why is no real title available?)
• scientific article; zbMATH DE number 4043814 (Why is no real title available?)
• System of automation of proving theorems of the theory of metanominative data
• scientific article; zbMATH DE number 2176109 (Why is no real title available?)
• scientific article; zbMATH DE number 3935002 (Why is no real title available?)
• scientific article; zbMATH DE number 3894495 (Why is no real title available?)
• scientific article; zbMATH DE number 63752 (Why is no real title available?)
• An algorithm for automatic demonstration of logical theorems
• \(M\)-calculus -- a sequent method for automatic theorem proving
• A fast consequence recognition algorithm for monadic logical programs
• Automated deduction with associative-commutative operators

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 Q4013071)