Paraconsistency

MaRDI QIDQ40286swMATHFDO

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

Cited in

(14)

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

This page was built for software: Paraconsistency