Joseph Vidal-Rosset - Personal Blog
Philosophy, Logic & Emacs
Home
|
About
|
Arguments
|
Provers
|
Code
|
En français
Arguments
Core Logic is not paraconsistent: one proof, six certifications
(2026-05-01, updated 2026-08-04)
Descartes’s First Proof of God’s Existence in First-Order Logic
(2021-07-21, updated 2026-07-31)
