Advanced search
1 file | 374.51 KB Add to list

Ten problems in Gödel logic

(2017) SOFT COMPUTING. 21(1). p.149-152
Author
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
    • |
    • PDF
    • |
    • 374.51 KB

Citation

Please use this url to cite or link to this publication:

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: