On interplay of quantifiers in Gödel-Dummett fuzzy logics

Archive for Mathematical Logic

Volumn 45, Issue 5, 2006, Pages 569-580

  Kozlíková, Blanka ^a   Švejdar, Vítězslav ^a  

^a CHARLES UNIVERSITY   (Czech Republic)

Author keywords

G del Dummett fuzzy logics; Inter expressibility; Kripke model; Prenexability; Quantifiers

Indexed keywords

EID: 33745433564     PISSN: 09335846     EISSN: 14320665     Source Type: Journal    
DOI: 10.1007/s00153-005-0322-y     Document Type: Article

References (10)

1. 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
2. Dummett, M.: A Prepositional Calculus with Denumerable Matrix. J. Symbolic Logic 25, 97-106 (1959)
3. Hájek, P.: Metamathematics of Fuzzy Logic. Kluwer, 1998
4. 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
5. Kleene, S.C.: Introduction to Metamathematics. D. van Nostrand, 1952
6. Kozlíková, B.: Sémantické melody v intuicionistické predikátové logice (Semantical Methods in Intuitionistic Predicate Logic). Master's thesis, Faculty of Arts, Charles University, Department of Logic (2004)
7. Preining, N.: Complete Recursive Axiomatizability of Gödel Logics. Ph.D. Thesis, Vienna University of Technology, Austria, 2003
8. Švejdar, V., Bendová, K.: On Inter-Expressibility of Logical Connectives in Gödel Fuzzy Logic. Soft Computing 4 (2), 103-105 (2000)
9. Švejdar, V: Note on Inter-Expressibility of Logical Connectives in Finitely-Valued Gödel-Dummett Logics. Soft Computing 10 (7), 629-630 (2006)
10. Takano, M.: Another Proof of Strong completeness of the Intuitionistic Fuzzy Logic. Tsukuba J. of Math. 11, 101-105 (1987)