Completeness theorem
From MaRDI portal
Software:40276
swMATH28562MaRDI QIDQ40276FDOQ40276
Author name not available (Why is that?)
Cited In (8)
- Formalization of the resolution calculus for first-order logic
- Self-formalisation of higher-order logic. Semantics, soundness, and a verified implementation
- Soundness and completeness proofs by coinductive methods
- 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
- Formally verified tableau-based reasoners for a description logic
- Unified Classical Logic Completeness
This page was built for software: Completeness theorem
