Completeness theorem
From MaRDI portal
Software:40276
No author found.
Related Items (8)
Soundness and completeness proofs by coinductive methods ⋮ Self-formalisation of higher-order logic. Semantics, soundness, and a verified implementation ⋮ Unified Classical Logic Completeness ⋮ A verified SAT solver framework with learn, forget, restart, and incrementality ⋮ Formalization of the resolution calculus for first-order logic ⋮ Programming and verifying a declarative first-order prover in Isabelle/HOL ⋮ Formalization of the Resolution Calculus for First-Order Logic ⋮ Formally verified tableau-based reasoners for a description logic
This page was built for software: Completeness theorem
