Characterization of the axiomatizable prenex fragments of first-order Gödel logics

Proceedings of The International Symposium on Multiple-Valued Logic

Volumn , Issue , 2003, Pages 175-180

  Baaz, Matthias ^a   Preining, Norbert ^a   Zach, Richard ^b  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

^b UNIVERSITY OF CALGARY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); FUNCTIONS; FUZZY SETS; LOGIC CIRCUITS; MANY VALUED LOGICS; SEMANTICS; SET THEORY;

AXIOMATIZABLE PRENEX FRAGMENTS; FIRST ORDER GODEL LOGICS; VALUATION FUNCTIONS;

LOGIC DESIGN;

EID: 0038495659     PISSN: 0195623X     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

1. M. Baaz, A. Ciabattoni, and C. Fermüller, Herbrand's theorem for prenex Gödel logic and its consequences for theorem proving. In Logic for Programming and Automated Reasoning LPAR'2001, pp. 201-216, LNRAI 2250. Springer, 2001.
2. M. Baaz, C. G. Fermüller, and R. Zach, Elimination of cuts in first-order finite-valued logics. J. Inform. Process. Cybernet. (EIK), 29(6):333-355, 1994.
3. M. Baaz, A. Leitsch, and R. Zach, Incompleteness of an infinite-valued first-order Gödel logic and of some temporal logics of programs. In Computer Science Logic, CSL'95,1-15, LNCS 1092, Springer, 1996.
4. M. Baaz and H. Veith, Interpolation in fuzzy logic. Arch. Math. Logic, 38:461-489, 1999.
5. M. Baaz and R. Zach, Compact propositional Gödel logics. In Proc. 28th International Symposium on Multiple-valued Logic, 108-113. IEEE Press, 1998.
6. M. Baaz and R. Zach. Hypersequent and the proof theory of intuitionistic fuzzy logic. In Computer Science Logic CSL'2000, 178-2001, LNCS 1862, Springer, 2000.
7. M. Dummett. A propositional logic with denumerable matrix. J. Symbolic Logic, 24:96-107, 1959.
8. S. Gottwald, A Treatise on Many-valued Logics. Research Studies Press, 2001.
9. K. Gödel, Zum Intuitionistischen Aussagenkalkül. Ergebnisse eines mathematischen Kolloquiums, 4:34-38, 1933.
10. A. Horn. Logic with truth values in a linearly ordered Heyting algebra. J. Symbolic Logic, 34(3):395-409, 1969.
11. A. Kechris, Classical Descriptive Set Theory. Springer, 1995.
12. N. Preining, Complete Recursive Axiomatizability of Gödel Logics. PhD thesis, TU Wien, 2003. forthcoming.
13. J. Rosenstein. Linear Orderings, Academic Press, 1982.
14. G. Takeuti and T. Titani. Intuitionistic fuzzy logic and intuitionistic fuzzy set theory. J. Symbolic Logic, 49:851-866, 1984.
15. R. Winkler, How much must an order theorist forget to become a topologist? In Contributions to General Algebra 12, 420-433, Heyn, 1999.