Abstract
We consider an extension of Gödel logic by a unary operator that enables the addition of non-negative reals to truth-values. Although its propositional fragment has a simple proof system, first-order validity is Π 2-hard. We explain the close connection to Scarpellini’s result on Π 2-hardness of Łukasiewicz’s logic.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Baaz, M.: Infinite-valued Gödel logics with 0-1-projections and relativizations. In: Gödel’96. In: Lecture Notes Logic vol. 6, pp 23–33
Baaz M., Fasching O.: Gödel logics with monotone operators. Fuzzy Sets Syst. 197(1), 3–13 (2012)
Baaz, M., Preining, N.:Gödel-Dummett logics. In: Cintula, P., Hájek, P., Noguera, C. (eds.) Handbook Of Mathematical Fuzzy Logic, vol. 2, pp. 585–626. College Publications, London (2011)
Baaz M., Veith H.: Interpolation in fuzzy logic. Arch. Math. Log. 38, 461–489 (1999)
Ciabattoni A., Metcalfe G., Montagna F.: Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions. Fuzzy Sets Syst. 161(3), 369–389 (2010)
Caicedo X., Rodríguez R.O.: Standard Gödel modal logics. Stud. Log. 94, 189–214 (2010)
Dummett M.: A propositional calculus with denumerable matrix. J. Symb. Log. 24, 97–106 (1959)
Fasching, O.: Gödel homomorphisms as Gödel modal operators. Fundam. Inform. (2012, in press)
Fasching, O.: Operator extensions of Gdel logics. Ph.D. thesis, Vienna University of Technology (2011)
Hájek P.: On very true. Fuzzy Sets Syst. 124, 329–333 (2001)
Ragaz, M.: Arithmetische Klassifikation von Formelmengen der unendlichwertigen Logik. Ph.D. Thesis, ETH Zürich (1981)
Scarpellini B.: Die Nichtaxiomatisierbarkeit des unendlichwertigen Prädikatenkalküls von Łukasiewicz. J. Symb. Log. 27, 159–170 (1962)
Takeuti G., Titani S.: Intuitionistic fuzzy logic and intuitionistic fuzzy set theory. J. Symb. Log. 49, 851–866 (1984)
Trakhtenbrot B.: The impossibility of an algorithm for the decision problem for finite domains. Doklady Akad. Nauk SSSR 70, 569–572 (1950)
Author information
Authors and Affiliations
Corresponding author
Additional information
Supported in part by Austrian Science Fund (FWF): I-603 N18.
Rights and permissions
About this article
Cite this article
Fasching, O., Baaz, M. Monotone operators on Gödel logic. Arch. Math. Logic 53, 261–284 (2014). https://doi.org/10.1007/s00153-013-0365-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-013-0365-4