[Zurück]


Zeitschriftenartikel:

M. Baaz, J. Aguilera Ozuna:
"Ten problems in Gödel logic";
Soft Computing, 21 (2017), 1; S. 149 - 152.



Kurzfassung englisch:
Gödel logics are an important class of intermediate logics with connections to many areas and applications of logic such as temporal logic, Heyting algebras, fuzzy logic, and parallel processing. In this paper, we present ten open problems in the proof and model theories of Gödel Logic. The problems can be seen to be ordered both thematically and by generality. Some of the problems have been open for more than thirty years. The second author discussed many of them with Franco Montagna, to whose memory this paper is dedicated.


"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/s00500-016-2366-9


Erstellt aus der Publikationsdatenbank der Technischen Universitšt Wien.