Abstract Completeness

MaRDI QIDQ40299swMATHFDO

Authors Jasmin Christian Blanchette, Andrei Popescu, Dmitriy Traytel

Publication date 16 April 2014

Official website https://www.isa-afp.org/entries/Abstract_Completeness.html

Cites work

• Mechanizing the metatheory of Sledgehammer
• Unified Classical Logic Completeness

Cited in

(21)

• PyRes
• THINKER
• Formalization of the resolution calculus for first-order logic
• Foundational (co)datatypes and (co)recursion for higher-order logic
• MUSCADET
• Soundness and completeness proofs by coinductive methods
• theoremprover-museum
• Unified Classical Logic Completeness
• GRAT
• Completeness theorem
• Superposition Calculus
• Paraconsistency
• Markov Models
• Knuth Bendix Orders
• Deriving class
• FOL Fitting
• Incompleteness Theorems
• Abstract Soundness
• Incredible Proof Machine
• Propositional Resolution
• Epistemic Logic

This page was built for software: Abstract Completeness