The following pages link to Abstract Completeness (Q40299):
Displayed 4 items.
- Formalization of the resolution calculus for first-order logic (Q1663242) (← links)
- Foundational (co)datatypes and (co)recursion for higher-order logic (Q1687535) (← links)
- Soundness and completeness proofs by coinductive methods (Q2362498) (← links)
- Unified Classical Logic Completeness (Q3192180) (← links)