Joseph Vidal-Rosset - Personal Blog
Philosophy, Logic & Emacs
Home
|
About
|
Arguments
|
Provers
|
Code
|
En français
Provers
How Prolog corroborates the proof that Core Logic is not paraconsistent
(2026-07-21, updated 2026-07-28)
SWI-Tinker for G4+: A SWI-Prolog F.O.L. Prover with nanoCop Cross-Validation
(2025-11-17)
