1: \begin{thebibliography}{10}
2:
3: \bibitem{AguzzoliCiabattoni99}
4: S.~Aguzzoli and A.~Ciabattoni.
5: \newblock Finiteness in infinite-valued logic.
6: \newblock {\em Journal of Logic, Language and Information}, 9(1):5--29, 2000.
7:
8: \bibitem{AguzzoliGerla02}
9: S.~Aguzzoli and B.~Gerla.
10: \newblock Finite-valued reductions of infinite-valued logics.
11: \newblock {\em Archive for Mathematical Logic}, 41(4):361--399, 2002.
12:
13: \bibitem{AB75}
14: A.~R. Anderson and N.~D. Belnap.
15: \newblock {\em Entailment}, volume~1.
16: \newblock Princeton University Press, Princeton, NJ, 1975.
17:
18: \bibitem{AFM:dupftc}
19: A.~Avellone, M.~Ferrari, and P.~Miglioli.
20: \newblock Duplication-free tableau calculi and related cut-free sequent calculi
21: for the interpolable propositional intermediate logics.
22: \newblock {\em Logic Journal of the IGPL}, 7(4):447--480, 1999.
23:
24: \bibitem{Avron87}
25: A.~Avron.
26: \newblock A constructive analysis of {RM}.
27: \newblock {\em Journal of Symbolic Logic}, 52(4):939--951, 1987.
28:
29: \bibitem{Avron91b}
30: A.~Avron.
31: \newblock Hypersequents, logical consequence and intermediate logics for
32: concurrency.
33: \newblock {\em Annals of Mathematics and Artificial Intelligence},
34: 4(3--4):225--248, 1991.
35:
36: \bibitem{Avron96a}
37: A.~Avron.
38: \newblock The method of hypersequents in the proof theory of propositional
39: non-classical logics.
40: \newblock In W.~Hodges, M.~Hyland, C.~Steinhorn, and J.~Truss, editors, {\em
41: Logic: from foundations to applications. Proc. Logic Colloquium, Keele, UK,
42: 1993}, pages 1--32. Oxford University Press, New York, 1996.
43:
44: \bibitem{AvrKon:00}
45: A.~Avron and B.~Konikowska.
46: \newblock {Decomposition Proof Systems for G{\"o}del-Dummett Logics}.
47: \newblock {\em Studia Logica}, 69(2):197--219, 2001.
48:
49: \bibitem{baa:pro}
50: M.~Baaz, A.~Ciabattoni, C.~G. Ferm{\"u}ller, and H.~Veith.
51: \newblock Proof theory of fuzzy logics: {Urquhart}'s {C} and related logics.
52: \newblock In L.~Brim, J.~Gruska, and J.~Zlatuska, editors, {\em Proc.\ 23rd
53: International Symposium Mathematical Foundations of Computer Science, Brno,
54: Czech Republic}, volume 1450 of {\em LNCS}, pages 203--212, 1998.
55:
56: \bibitem{Baaz:1999:ACP}
57: M.~Baaz and C.~G. Ferm{\"u}ller.
58: \newblock Analytic calculi for projective logics.
59: \newblock In {\em Proc. {TABLEAUX} '99}, volume 1617, pages 36--50, 1999.
60:
61: \bibitem{cas:com}
62: E.~Casari.
63: \newblock Comparative logics.
64: \newblock In {\em Synthese 73}, pages 421--449. D. Reidel, 1987.
65:
66: \bibitem{cas:ab}
67: E.~Casari.
68: \newblock Comparative logics and abelian l-groups.
69: \newblock In Ferro et~al., editor, {\em Logic Colloquium '88}, pages 161--190.
70: Elsevier, 1989.
71:
72: \bibitem{Chang58}
73: C.~C. Chang.
74: \newblock Algebraic analysis of many-valued logics.
75: \newblock {\em Transactions of the American Mathematical Society}, 88:467--490,
76: 1958.
77:
78: \bibitem{Ciabattoni00a}
79: A.~Ciabattoni.
80: \newblock On {U}rquhart's {C} logic.
81: \newblock In {\em Proc.\ 30th International Symposium on Multiple-Valued
82: Logics, Portland/OR, USA}, pages 113--118. IEEE CS Press, Los Alamitos, May
83: 2000.
84:
85: \bibitem{Ciabattoni:1997:TCB}
86: A.~Ciabattoni and D.~Luchi.
87: \newblock Two connections between linear logic and {Lukasiewicz} logics.
88: \newblock {\em LNCS}, 1289:128--139, 1997.
89:
90: \bibitem{CEGT99}
91: R.~Cignoli, F.~Esteva, L.~Godo, and A.~Torrens.
92: \newblock Basic fuzzy logic is the logic of continuous t-norms and their
93: residua.
94: \newblock {\em Soft Computing}, 4(2):106--112, 2000.
95:
96: \bibitem{cig:alg}
97: R.~L.~O. Cignoli, I.~M.~Loffredo D'Ottaviano, and D.~Mundici.
98: \newblock {\em Algebraic Foundations of Many-Valued Reasoning}, volume~7 of
99: {\em Trends in Logic}.
100: \newblock Kluwer, Dordrecht, November 1999.
101:
102: \bibitem{dunn:alge71}
103: J.~Michael Dunn and Robert~K. Meyer.
104: \newblock Algebraic completeness results for {D}ummett's {LC} and its
105: extensions.
106: \newblock {\em Zeitschrift f{\"u}r Mathematische Logik und Grundlagen der
107: Mathematik}, 17:225--230, 1971.
108:
109: \bibitem{Dyckhoff99}
110: R.~Dyckhoff.
111: \newblock A deterministic terminating sequent calculus for
112: {G}{\"o}del-{D}ummett logic.
113: \newblock {\em Logic Journal of the IGPL}, 7(3):319--326, 1999.
114:
115: \bibitem{est:mtl}
116: F.~Esteva and Llu\'{\i}s Godo.
117: \newblock Monoidal t-norm based logic: towards a logic for left-continuous
118: t-norms.
119: \newblock {\em Fuzzy Sets and Systems}, 124:271--288, 2001.
120:
121: \bibitem{gallewsag:log}
122: A.~Galli, R.~A. Lewin, and M.~Sagastume.
123: \newblock The logic of equilibrium and abelian lattice ordered groups.
124: \newblock To appear in Transactions of the AMS, 2002.
125:
126: \bibitem{Gottwald99}
127: S.~Gottwald.
128: \newblock {\em A Treatise on Many-Valued Logics}, volume~9 of {\em Studies in
129: Logic and Computation}.
130: \newblock Research Studies Press, Baldock, 2000.
131:
132: \bibitem{hahnle:admvl}
133: R.~H{\"a}hnle.
134: \newblock {\em {Automated Deduction in Multiple-Valued Logics}}.
135: \newblock Oxford University Press, 1993.
136:
137: \bibitem{haj:met}
138: P.~H\'ajek.
139: \newblock {\em Metamathematics of Fuzzy Logic}.
140: \newblock Kluwer Academic Publishers, Dordrecht, 1998.
141:
142: \bibitem{hoh:com}
143: U.~H{\"o}hle.
144: \newblock Commutative, residuated $\ell$-monoids.
145: \newblock In U.~H{\"o}hle and E.~P. Klement, editors, {\em Non-Classical Logics
146: and their Applications to Fuzzy Subsets}, pages 53--106. Kluwer, Dordrecht,
147: 1995.
148:
149: \bibitem{Lukasiewicz70}
150: J.~{\L}ukasiewicz.
151: \newblock {\em Jan {\L}ukasiewicz, Selected Writings}.
152: \newblock North-Holland, 1970.
153: \newblock Edited by L. Borowski.
154:
155: \bibitem{LukUnt}
156: J.~{\L}ukasiewicz and A.~Tarski.
157: \newblock Untersuchungen {\"u}ber den {A}ussagenkalk{\"u}l.
158: \newblock {\em Comptes Rendus des S\'{e}ances de la Societ\'{e} des Sciences et
159: des Lettres de Varsovie, Classe {III}}, 23, 1930.
160: \newblock Reprinted and translated in \cite{Lukasiewicz70}.
161:
162: \bibitem{Malinowski93}
163: G.~Malinowski.
164: \newblock {\em Many-Valued Logics}, volume~25 of {\em Oxford Logic Guides}.
165: \newblock Oxford University Press, 1993.
166:
167: \bibitem{met:ana}
168: G.~Metcalfe, N.~Olivetti, and D.~Gabbay.
169: \newblock Analytic sequent calculi for abelian and {{\L}}ukasiewicz logics.
170: \newblock In {\em Proceedings of TABLEAUX 2002}, volume 2381 of {\em LNCS},
171: pages 191--205. Springer, 2002.
172:
173: \bibitem{mey:int}
174: R.~K. Meyer.
175: \newblock Intuitionism, entailment, negation.
176: \newblock In H.~Leblanc, editor, {\em Truth, Syntax and Modality}, pages
177: 168--198. North Holland, 1973.
178:
179: \bibitem{mey:ab}
180: R.~K. Meyer and J.~K. Slaney.
181: \newblock Abelian logic from {A} to {Z}.
182: \newblock In Graham Priest, Richard Sylvan, and Jean Norman, editors, {\em
183: Paraconsistent Logic: Essays on the Inconsistent}, pages 245--288.
184: Philosophia Verlag, 1989.
185:
186: \bibitem{mey:ab2}
187: R.~K. Meyer and J.~K. Slaney.
188: \newblock A, still adorable.
189: \newblock In M.~Coniglio W.~Carnielli and I.~M.~L. D'Ottaviano, editors, {\em
190: Paraconsistency, the logical way to the inconsistent}, pages 241--260. Marcel
191: Dekker, 2002.
192:
193: \bibitem{mon:tab}
194: F.~Montagna, G.~M. Pinna, and E.~B.~P. Tiezzi.
195: \newblock A tableau calculus for {H}\'ajek's logic {BL}.
196: \newblock {\em Submitted}, 2002.
197:
198: \bibitem{Mundici:1987:SMS}
199: D.~Mundici.
200: \newblock Satisfiability in many-valued sentential logic is {NP}-complete.
201: \newblock {\em Theoretical Computer Science}, 52(1-2):145--153, 1987.
202:
203: \bibitem{mun:res}
204: D.~Mundici and N.~Olivetti.
205: \newblock Resolution and model building in the infinite-valued calculus of
206: {{\L}ukasiewicz}.
207: \newblock {\em Theoretical Computer Science}, 200(1--2):335--366, 28~June 1998.
208:
209: \bibitem{oli:tab}
210: N.~Olivetti.
211: \newblock Tableaux for {{\L}}ukasiewicz infinite-valued logic.
212: \newblock To appear in Studia Logica.
213:
214: \bibitem{pao:log}
215: F.~Paoli.
216: \newblock {\em Substructural Logics: A Primer}.
217: \newblock Kluwer Academic Publishers, Dordrecht, 2002.
218:
219: \bibitem{Pottinger83}
220: G.~Pottinger.
221: \newblock Uniform, cut-free formulations of {T}, {S4} and {S5} (abstract).
222: \newblock {\em Journal of Symbolic Logic}, 48(3):900, September 1983.
223:
224: \bibitem{Prijatelj96}
225: A.~Prijatelj.
226: \newblock Bounded contraction and {G}entzen-style formulation of
227: {{\L{}}}ukasiewicz logics.
228: \newblock {\em Studia Logica}, 57(2--3):437--456, 1996.
229:
230: \bibitem{roserosser:58}
231: A.~Rose and J.~B. Rosser.
232: \newblock Fragments of many-valued statement calculi.
233: \newblock {\em Transcactions of the American Mathematical Society}, 87:1--53,
234: 1958.
235:
236: \bibitem{scott:74}
237: D.~Scott.
238: \newblock {Completeness and Axiomatizability in Many-Valued Logic}.
239: \newblock In L.~Henkin et~al., editors, {\em Proceedings of Symposia in Pure
240: Mathematics Volume XXV: Proceedings of the Tarski Symposium}, pages 411--435,
241: 1974.
242:
243: \bibitem{son:gen}
244: O.~Sonobe.
245: \newblock A {G}entzen-type formulation of some intermediate propositional
246: logics.
247: \newblock {\em Journal of Tsuda College}, 7:7--14, 1975.
248:
249: \bibitem{urqu:many86}
250: A.~Urquhart.
251: \newblock Many-valued logics.
252: \newblock In D.~M. Gabbay and F.~G{\"{u}}nthner, editors, {\em Handbook of
253: Philosophical Logic}, volume~3, pages 71--116. Reidel, Dordrecht, 1986.
254:
255: \bibitem{Weispfenning:1986:CWP}
256: V.~Weispfenning.
257: \newblock The complexity of the word problem for {Abelian} $l$-groups.
258: \newblock {\em Theoretical Computer Science}, 48(1):127--132, 1986.
259:
260: \end{thebibliography}
261: