Skip to main content

Semantics of Gödel logics

Objective

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 [0,1] is concerned with the topological and order-theoretic properties of the reals, and the expressiveness of first order language with respect to these properties. Kripke frames form the prime semantics for Intuitionistic Logic and Modal Logics. Kripke frames also can be considered as a semantic for Gödel logics as well as temporal logics. Algebraic semantics based on special Heyting algebras are concerned with special instances of lattices.

In his work, Hajék considered t-norm based logics as the foundation of fuzzy logics. Up to now these different semantics have hardly influenced each other, techniques applied in the one haven't found their way into the other. After first approaches in connecting these semantics and transferring results there and back again we aim at a unified treatment of the relation between these semantics, their respective embeddability and representability, and in a detailed exposition of the differences of these semantics.

Call for proposal

FP6-2004-MOBILITY-11
See other projects for this call

Coordinator

VIENNA UNIVERSITY OF TECHNOLOGY
Address
Karlsplatz 13
Wien
Austria