Search for European Projects

1 European Projects Found

Searched on 125080 European Projects

 FINISHED 

Semantics of Gödel logics (GOEDELSEM)

Start date: Aug 1, 2007, End date: Jul 31, 2008,

The study of different semantics is actually the study of the very objects of mathematics the logic is related to. What we call today `Gödel logics' was developed from and for the analysis of very different mathematical objects: The real numbers, Kripke frames, and Heyting algebras. Purpose of this project is the relations between these semantics.The semantics based on subsets of the real interval ...
Read Project

 1