Publications in Scientific Journals:
M. Baaz, J. Aguilera Ozuna:
"Ten problems in Gödel logic";
Soft Computing,
21
(2017),
1;
149
- 152.
English abstract:
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.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/s00500-016-2366-9
Created from the Publication Database of the Vienna University of Technology.