FOL Fitting
From MaRDI portal
Cited in
(21)- Formalization of the resolution calculus for first-order logic
- SQEMA
- IsaFoL
- theoremprover-museum
- Abstract Completeness
- Completeness theorem
- Deriving class
- Abstract Soundness
- Incompleteness Theorems
- Paraconsistency
- Incredible Proof Machine
- Propositional Resolution
- Superposition Calculus
- Verified Prover
- FOL_Harrison
- Soundness and completeness proofs by coinductive methods
- Formalization of the Resolution Calculus for First-Order Logic
- Formalized soundness and completeness of epistemic logic
- Programming and verifying a declarative first-order prover in Isabelle/HOL
- Unified Classical Logic Completeness
- Epistemic Logic
This page was built for software: FOL Fitting
