Sunday, October 26, 2008

Allen Mann

Prochaine séance du séminaire Philform :
lundi 27 octobre, grande salle de l'IHPST, 14h-16h.
Allen Mann : IF logic and Kleene algebras

It is well known that the Principle of Bivalance fails in IF logic--there are sentences that are neither true nor false. We will use the techniques of algebraic logic to show that the Principle of Trivalence holds--every sentence has one of exactly three possible truth-values. We will further show that IF logic can be viewed an a first-order extension of Kleene's strong three-valued logic.