Paraconsistency

MaRDI QIDQ40286swMATHFDO

Authors Anders Schlichtkrull, Jørgen Villadsen

Publication date 7 December 2016

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

Cited in

(14)

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

This page was built for software: Paraconsistency