- Author
- J. P. Aguilera (UGent) and Matthias Baaz
- Organization
- 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.
- Keywords
- INTUITIONISTIC LOGIC, Classical Logic, Intuitionistic Logic, Predicate Symbol, Existential Quantifier, Kripke Frame
Downloads
-
Aguilera-Baaz2017 Article TenProblemsInGödelLogic.pdf
- full text (Published version)
- |
- open access
- |
- |
- 374.51 KB
Citation
Please use this url to cite or link to this publication: http://hdl.handle.net/1854/LU-8669153
- MLA
- Aguilera, J. P., and Matthias Baaz. “Ten Problems in Gödel Logic.” SOFT COMPUTING, vol. 21, no. 1, 2017, pp. 149–52, doi:10.1007/s00500-016-2366-9.
- APA
- Aguilera, J. P., & Baaz, M. (2017). Ten problems in Gödel logic. SOFT COMPUTING, 21(1), 149–152. https://doi.org/10.1007/s00500-016-2366-9
- Chicago author-date
- Aguilera, J. P., and Matthias Baaz. 2017. “Ten Problems in Gödel Logic.” SOFT COMPUTING 21 (1): 149–52. https://doi.org/10.1007/s00500-016-2366-9.
- Chicago author-date (all authors)
- Aguilera, J. P., and Matthias Baaz. 2017. “Ten Problems in Gödel Logic.” SOFT COMPUTING 21 (1): 149–152. doi:10.1007/s00500-016-2366-9.
- Vancouver
- 1.Aguilera JP, Baaz M. Ten problems in Gödel logic. SOFT COMPUTING. 2017;21(1):149–52.
- IEEE
- [1]J. P. Aguilera and M. Baaz, “Ten problems in Gödel logic,” SOFT COMPUTING, vol. 21, no. 1, pp. 149–152, 2017.
@article{8669153,
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.},
author = {Aguilera, J. P. and Baaz, Matthias},
issn = {1432-7643},
journal = {SOFT COMPUTING},
keywords = {INTUITIONISTIC LOGIC,Classical Logic,Intuitionistic Logic,Predicate Symbol,Existential Quantifier,Kripke Frame},
language = {eng},
number = {1},
pages = {149--152},
title = {Ten problems in Gödel logic},
url = {http://dx.doi.org/10.1007/s00500-016-2366-9},
volume = {21},
year = {2017},
}
- Altmetric
- View in Altmetric
- Web of Science
- Times cited: