Personal tools
You are here: Home Events LFCS Seminars-Folder LFCS Seminar: Gilles Dowek

LFCS Seminar: Gilles Dowek

— filed under:

Pre-Heyting algebras and proof normalization.

What
  • LFCS Seminar
When Feb 07, 2012
from 04:00 PM to 05:00 PM
Add event to calendar vCal
iCal

We extend the notion of Heyting algebra to a notion of pre-Heyting algebra and prove that a theory is consistent if and only if it has a B-valued model for some non trivial pre-Heyting algebra B. A theory that has a B-valued model for all pre-Heyting algebras B is said to be super-consistent. We prove that super-consistency is a model-theoretic sufficient condition for strong normalization.

Document Actions