Detection of First Order Axiomatic Theories

DOI10.1007/978-3-642-40885-4_16MaRDI QIDQ2849492zbMATH OpenOpenAlexFDO

Authors Guillaume Burel, Simon Cruanes

Publication date 20 September 2013

Published in Frontiers of Combining Systems (Search for Journal in Brave)

Full work available at URL https://hal.inria.fr/hal-00919759/file/theory_detection_free.pdf

Mathematics Subject Classification ID

Recommendations

• scientific article; zbMATH DE number 31602
• Systems of axioms and models for first order theories with provability operator
• scientific article; zbMATH DE number 1114358
• Systems of axioms and models for the first order theories with provability operator
• On first-order theories with provability operator
• scientific article; zbMATH DE number 638363
• scientific article; zbMATH DE number 1751350
• scientific article; zbMATH DE number 4099293
• First-order theories and Tarski problems
• Axiomatizing first-order consequences in independence logic

Describes a project that uses

Uses Software

• VAMPIRE
• iProver
• TPTP
• Waldmeister
• SPASS
• E Theorem Prover

This page was built for publication: Detection of First Order Axiomatic Theories

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