Abstract
Axiomatization of Gödel-Dummett predicate logics S2G, S3G, and PG, where PG is the weakest logic in which all prenex operations are sound, and the relationships of these logics to logics known from the literature are discussed. Examples of non-prenexable formulas are given for those logics where some prenex operation is not available. Inter-expressibility of quantifiers is explored for each of the considered logics.
Similar content being viewed by others
References
Baaz, M., Preining, N., Zach, R.: Characterization of the Axiomatizable Prenex Fragments of First-Order Gödel Logics. In: 33rd International Symposium on Multiple-valued Logic, May 16–19, 2003, pp 175–180, Tokyo, IEEE Computer Society Press, 2003
Dummett, M.: A Propositional Calculus with Denumerable Matrix. J. Symbolic Logic 25, 97–106 (1959)
Hájek, P.: Metamathematics of Fuzzy Logic. Kluwer, 1998
Hájek, P.: A Non-Arithmetical Gödel Logic. Logic Journal of the IGPL 13 (4), 435–441 (2005). A special issue devoted to selected papers presented at the Challenge of Semantics workshop, Vienna, July 2004
Kleene, S.C.: Introduction to Metamathematics. D. van Nostrand, 1952
Kozlíková, B.: Sémantické metody v intuicionistické predikátové logice (Semantical Methods in Intuitionistic Predicate Logic). Master's thesis, Faculty of Arts, Charles University, Department of Logic (2004)
Preining, N.: Complete Recursive Axiomatizability of Gödel Logics. Ph.D. Thesis, Vienna University of Technology, Austria, 2003
Švejdar, V., Bendová, K.: On Inter-Expressibility of Logical Connectives in Gödel Fuzzy Logic. Soft Computing 4 (2), 103–105 (2000)
Švejdar, V.: Note on Inter-Expressibility of Logical Connectives in Finitely-Valued Gödel-Dummett Logics. Soft Computing 10 (7), 629–630 (2006)
Takano, M.: Another Proof of Strong completeness of the Intuitionistic Fuzzy Logic. Tsukuba J. of Math. 11, 101–105 (1987)
Author information
Authors and Affiliations
Corresponding author
Additional information
This work is a part of the research plan MSM 0021620839 that is financed by the Ministry of Education of the Czech Republic. It is based on the first author's master's thesis [6] written under the second author's supervision.
Rights and permissions
About this article
Cite this article
Kozlíková, B., Švejdar, V. On interplay of quantifiers in Gödel-Dummett fuzzy logics. Arch. Math. Logic 45, 569–580 (2006). https://doi.org/10.1007/s00153-005-0322-y
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-005-0322-y