1: \ifx\nscosf\undefined\def\nscosf#1{#1}\fi
2: \begin{thebibliography}{BLZ96b}
3:
4: \bibitem[BC02]{BC02}
5: M.~Baaz and A.~Ciabattoni.
6: \newblock A {S}ch\"utte-{T}ait style cut-elimination proof for first-order
7: {G}\"odel logic.
8: \newblock In {\em Automated Reasoning with Analytic Tableaux and Related
9: Methods, \textsc{tableaux} 2002. Proceedings}, volume 2381 of {\em LNAI},
10: pages 24--38. Springer, 2002.
11:
12: \bibitem[BCF01]{BCF01LPAR}
13: M.~Baaz, A.~Ciabattoni, and C.~G. Fermüller.
14: \newblock Herbrand's theorem for prenex {G}ödel logic and its consequences for
15: theorem proving.
16: \newblock In {\em Proceedings of Logic for Programming and Automated Reasoning
17: (\nscosf{LPAR'2001})}, \nscosf{LNAI}~2250, pages 201--216, Cuba, December
18: 2001.
19:
20: \bibitem[BFC03]{BFC03}
21: M.~Baaz, C.~G. Ferm\"uller, and A.~Ciabattoni.
22: \newblock Hypersequent calculi for {G}\"odel logics---a survey.
23: \newblock {\em Journal of Logic and Computation}, 13:835--861, 2003.
24:
25: \bibitem[BGP]{bgp}
26: A.~Beckmann, M.~Goldstern, and N.~Preining.
27: \newblock Continuous {F}ra{\"\i}ss{\'e} conjecture.
28: \newblock {\em Order}.
29: \newblock Submitted 2005.
30:
31: \bibitem[BLZ96a]{BaazLeitZach96TCS}
32: M.~Baaz, A.~Leitsch, and R.~Zach.
33: \newblock Completeness of a first-order temporal logic with time-gaps.
34: \newblock {\em Theoret. Comput. Sci.}, 160(1--2):241--270, June 1996.
35:
36: \bibitem[BLZ96b]{BaazLeitschZach:96}
37: M.~Baaz, A.~Leitsch, and R.~Zach.
38: \newblock Incompleteness of an infinite-valued first-order {G}\"odel logic and
39: of some temporal logics of programs.
40: \newblock In E.~B{\"o}rger, editor, {\em Computer Science Logic. Selected
41: Papers from \nscosf{CSL}'95}, pages 1--15, Berlin, 1996. Springer.
42:
43: \bibitem[BP]{BeckPrei05Kripke}
44: Arnold Beckmann and Norbert Preining.
45: \newblock Linear {K}ripke frames and {G}ödel logics.
46: \newblock {\em Journal of Symbolic Logic}.
47: \newblock Submitted 2005.
48:
49: \bibitem[BPZ03]{BPZ03}
50: M.~Baaz, N.~Preining, and R.~Zach.
51: \newblock Characterization of the axiomatizable prenex fragments of first-order
52: {G}ödel logics.
53: \newblock In {\em 33rd International Symposium on Multiple-valued Logic. May
54: 2003, Tokyo, Japan. Proceedings}, pages 175--180. \nscosf{IEEE} Press, Los
55: Alamitos, 2003.
56:
57: \bibitem[BV00]{BaazVeith99LC}
58: M.~Baaz and H.~Veith.
59: \newblock An axiomatization of quantified propositional {G}ödel logic using the
60: {T}akeuti-{T}itani rule.
61: \newblock In Samuel Buss, Petr Hájek, and Pavel Pudlák, editors, {\em
62: Proceedings of the Logic Colloquium '98, Prague}, \nscosf{LNL}~13, pages
63: 74--87. \nscosf{ASL}, 2000.
64:
65: \bibitem[BZ00]{BaazZach00CSL}
66: M.~Baaz and R.~Zach.
67: \newblock Hypersequents and the proof theory of intuitionistic fuzzy logic.
68: \newblock In P.~G. Clote and H.~Schwichtenberg, editors, {\em Computer Science
69: Logic \nscosf{CSL'2000}. Proceedings}, \nscosf{LNCS}~1862, pages 178--201.
70: Springer, 2000.
71:
72: \bibitem[Dum59]{dummett}
73: M.~Dummett.
74: \newblock A propositional logic with denumerable matrix.
75: \newblock {\em J. of Symbolic Logic}, 24:96--107, 1959.
76:
77: \bibitem[Got01]{gottwald}
78: S.~Gottwald.
79: \newblock {\em A Treatise on Many-valued Logics}.
80: \newblock Research Studies Press, 2001.
81:
82: \bibitem[{G}öd33]{goedel33}
83: K.~{G}ödel.
84: \newblock {Z}um {I}ntuitionistischen {A}ussagenkalkül.
85: \newblock {\em Ergebnisse eines mathematischen Kolloquiums}, 4:34--38, 1933.
86:
87: \bibitem[H{\'a}j98]{hajek}
88: P.~H{\'a}jek.
89: \newblock {\em Metamathematics of Fuzzy Logic}.
90: \newblock Kluwer, 1998.
91:
92: \bibitem[H{\'a}j05]{Hajek05}
93: P.~H{\'a}jek.
94: \newblock A non-arithmetical {G}ödel logic.
95: \newblock {\em Logic Journal of \nscosf{IGPL}}, 13(4):435--441, 2005.
96:
97: \bibitem[Hor69]{horn}
98: A.~Horn.
99: \newblock Logic with truth values in a linearly ordered {H}eyting algebra.
100: \newblock {\em Journal of Symbolic Logic}, 34(3):395--409, 1969.
101:
102: \bibitem[Kec95]{kechris}
103: A.~S. Kechris.
104: \newblock {\em Classical Descriptive Set Theory}.
105: \newblock Springer, 1995.
106:
107: \bibitem[Mos80]{Moschovakis:1980}
108: Y.~N. Moschovakis.
109: \newblock {\em Descriptive set theory}, volume 100 of {\em Studies in Logic and
110: the Foundations of Mathematics}.
111: \newblock North-Holland Publishing Co., Amsterdam, 1980.
112:
113: \bibitem[Pre02]{Prei02LPAR}
114: N.~Preining.
115: \newblock {G}ödel logics and {C}antor-{B}endixon analysis.
116: \newblock In M.~Baaz and A.~Voronkov, editors, {\em Proceedings of
117: \nscosf{LPAR}'2002}, \nscosf{LNAI}~2514, pages 327--336, October 2002.
118:
119: \bibitem[Pre03]{Prei03PHD}
120: N.~Preining.
121: \newblock {\em Complete Recursive Axiomatizability of {G}ödel Logics}.
122: \newblock PhD thesis, Vienna University of Technology, Austria, 2003.
123:
124: \bibitem[Ros82]{rosenstein}
125: J.~G. Rosenstein.
126: \newblock {\em Linear Orderings}.
127: \newblock Academic Press, 1982.
128:
129: \bibitem[Sca62]{scarpellini}
130: B.~Scarpellini.
131: \newblock Die {N}ichtaxiomatisierbarkeit des unendlichwertigen
132: {P}rädikatenkalküls von {{\L}}ukasiewicz.
133: \newblock {\em J.~Symbolic Logic}, 27:159--170, 1962.
134:
135: \bibitem[Tak87]{takano}
136: M.~Takano.
137: \newblock Another proof of the strong completeness of the intuitionistic fuzzy
138: logic.
139: \newblock {\em Tsukuba J. Math.}, 11(1):101--105, 1987.
140:
141: \bibitem[Tro77]{troelstra-handbook}
142: A.~S. Troelstra.
143: \newblock Aspects of constructive mathematics.
144: \newblock In J.~Barwise, editor, {\em Handbook of Mathematical Logic}, pages
145: 973--1052. North Holland, 1977.
146:
147: \bibitem[TT84]{TT}
148: G.~Takeuti and S.~Titani.
149: \newblock Intuitionistic fuzzy logic and intuitionistic fuzzy set theory.
150: \newblock {\em J. of Symbolic Logic}, 49:851--866, 1984.
151:
152: \bibitem[TT86]{TT86}
153: G.~Takeuti and S.~Titani.
154: \newblock Global intuitionistic fuzzy set theory.
155: \newblock In {\em The Mathematics of Fuzzy Systems}, pages 291--301.
156: \nscosf{TUV}-Verlag, 1986.
157:
158: \bibitem[Win99]{winkler:howmuch}
159: R.~Winkler.
160: \newblock How much must an order theorist forget to become a topologist?
161: \newblock In {\em Contributions of General Algebra 12, Proc. of the Vienna
162: Conference}, pages 420--433, Klagenfurt, Austria, 1999. Verlag Johannes Heyn.
163:
164: \end{thebibliography}
165: