Paraconsistency

swMATH28572MaRDI QIDQ40286FDOQ40286

Author name not available (Why is that?)

Official website: https://www.isa-afp.org/entries/Paraconsistency.html

Cited In (13)

• Formalization of the resolution calculus for first-order logic
• MUSCADET
• IsaFoL
• theoremprover-museum
• Abstract Completeness
• Completeness theorem
• FOL Fitting
• Abstract Soundness
• Incompleteness Theorems
• Incredible Proof Machine
• Propositional Resolution
• Superposition Calculus
• Epistemic Logic

This page was built for software: Paraconsistency