swMATH28585MaRDI QIDQ40299FDOQ40299
Author name not available (Why is that?)
Official website: https://www.isa-afp.org/entries/Abstract_Completeness.html
Cited In (20)
- Formalization of the resolution calculus for first-order logic
- Soundness and completeness proofs by coinductive methods
- MUSCADET
- theoremprover-museum
- GRAT
- Completeness theorem
- Deriving class
- FOL Fitting
- Abstract Soundness
- Knuth Bendix Orders
- Incompleteness Theorems
- Markov Models
- Paraconsistency
- Incredible Proof Machine
- Propositional Resolution
- Superposition Calculus
- PyRes
- Foundational (co)datatypes and (co)recursion for higher-order logic
- Unified Classical Logic Completeness
- Epistemic Logic
This page was built for software: Abstract Completeness
