Normal forms for fuzzy logics: A proof-theoretic approach

Archive for Mathematical Logic

Volumn 46, Issue 5-6, 2007, Pages 347-363

  Cintula, Petr ^a   Metcalfe, George ^b  

^a INSTITUTE OF COMPUTER SCIENCE   (Czech Republic)

^b VANDERBILT UNIVERSITY   (United States)

Author keywords

Fuzzy logic; Hypersequents; Normal form; Proof theory

Indexed keywords

EID: 34249012842     PISSN: 09335846     EISSN: 14320665     Source Type: Journal    
DOI: 10.1007/s00153-007-0033-7     Document Type: Article

References (18)

1. Aguzzoli, S.: Geometric and proof-theoretic issues in úukasiewicz propositional logics. Ph.D. Thesis, University of Siena, Siena (1998)
2. Avron, A.: A constructive analysis of RM. J. Symb. Logic 52(4), 939-951 (1987)
3. Avron, A., Konikowska, B.: Decomposition proof systems for Godel-Dummett logics. Studia Logica 69(2), 197-219 (2001)
4. Baaz, M., Fermüller, C.G.: Analytic calculi for projective logics. In: Murray, N. (ed.) Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX'99, Lecture Notes in Computer Science, vol. 1617, pp. 36-50. Springer, Saratoga Springs (1999)
5. Baaz, M., Veith, H.: Interpolation in fuzzy logic. Arch. Math. Logic 38(7), 461-489 (1999)
6. Cignoli, R., D'Ottaviano, I., Mundici, D.: Algebraic foundations of many-valued reasoning. Trends in Logic, vol. 7. Kluwer, Dordercht (1999)
7. Cintula, P., Gerla, B.: Semi-normal forms and functional representation of product fuzzy logic. Fuzzy Sets Syst. 143(1), 89-110 (2004)
8. Dershowitz, N., Manna, Z.: Proving termination with multiset orderings. Commun. Assoc. Comput. Mach. 22(8), 465-476 (1979)
9. Di Nola, A., Lettieri, A.: On normal forms in Łukasiewicz logic. Arch. Math. Logic 43(6), 795-823 (2004)
10. Hájek, P.: Metamathematics of fuzzy logic. Trends in Logic, vol. 4. Kluwer, Dordercht (1998)
11. Hájek, P., Godo, L., Esteva, F., Montagna, F.: Hoops and fuzzy logic. J. Logic Comput. 13(4), 532-555 (2003)
12. McNaughton, R.: A theorem about infinite-valued sentential logic. J. Symb. Logic 16(1), 1-13 (1951)
13. Metcalfe, G., Olivetti, N., Gabbay, D.: Analytic proof calculi for product logics. Arch. Math. Logic 43(7), 859-889 (2004)
14. Metcalfe, G., Olivetti, N., Gabbay, D.: Sequent and hypersequent calculi for Abelian and Łukasiewicz logics. ACM Trans. Comput. Logic 6(3), 578-613 (2005)
15. Mundici, D.: A constructive proof of McNaughton's Theorem in infinite-valued logics. J. Symb. Logic 59(2), 596-602 (1994)
16. Novák, V., Perfilieva, I., Močkoř, J.: Mathematical Principles of Fuzzy Logic. Kluwer, Dordrecht (2000)
17. Robinson, J.A., Voronkov, A. (eds.): Handbook of Automated Reasoning (in 2 volumes). Elsevier and MIT Press, Amsterdam (2001)
18. Rose, A., Rosser, J.: Fragments of many-valued statement calculi. Trans. Ame. Math. Soc. 87, 1-53 (1958)