Joseph Vidal-Rosset - Personal Blog
Philosophy, Logic & Emacs
Home
|
About
|
Arguments
|
Provers
|
Code
|
En français
Arguments
A Triple Certified Proof that Core Logic is not Paraconsistent
(2026-05-01, updated 2026-07-17)
Descartes’s First Proof of God’s Existence in First-Order Logic
(2021-07-21)
