-
Des logiques en psychiatrie. Application, paradoxes, réunification
International audience -
Towards a Theory of Proofs of Classical Logic
The questions <EM>"What is a proof?"</EM> and <EM>"When are two proofs the same?"</EM> are fundamental for proof theory. But for the most... -
Structure de valeurs de vérité
En se plaçant dans divers triplets (E,->, phi) on "lit" les énoncés de mathématiques comme des noms d'objets et on peut chercher même la logique (complètement... -
MUS-Based Partitioning for Inconsistency Measures
National audience -
Naming Proofs in Classical Propositional Logic
Rapport interne.
