Abstract Completeness

swMATH28585MaRDI QIDQ40299FDOQ40299

Author name not available (Why is that?)

Cited In (4)

• Formalization of the resolution calculus for first-order logic
• Soundness and completeness proofs by coinductive methods
• Foundational (co)datatypes and (co)recursion for higher-order logic
• Unified Classical Logic Completeness

This page was built for software: Abstract Completeness