Axiomatic extensions of IMT3 logic

Studia Logica

Volumn 81, Issue 3, 2005, Pages 311-324

  Gispert, Joan ^a   Torrens, Antoni ^a  

^a UNIVERSITY OF BARCELONA   (Spain)

Author keywords

IMTL algebras; Involutive monoidal t norm logic; Many valued logics; Residu ated lattices

Indexed keywords

EID: 28244501931     PISSN: 00393215     EISSN: None     Source Type: Journal    
DOI: 10.1007/s11225-005-4647-7     Document Type: Article

References (9)

1. BLOK, W., and D. PIGOZZI, 'Algebraizable Logics' Mem. Amer. Math. Soc. 396, vol. 77, Amer. Math. Soc., Providence, 1989.
2. BURRIS, S., and H. P. SANKAPPANAVAR, A Course in Universal Algebra, Graduate text in Math. vol. 78, Springer-Verlag, New York, 1981.
3. CIABATTONI, A., F. ESTEVA, and L. GODO, 'T-norm based logic with n-contraction', Newral Network World 5 (2002), 441-452.
4. ESTEVA, F., and L. GODO, 'Monoidal t-norm based logic: towards a, logic for left-continuous t-norms', Fuzzy Sets and Systems 124 (2001), 271-288.
5. ESTEVA, F., J. GISPERT, L. GODO, and F. MONTAGNA, 'On the Standard and Rational completness of some Axiomatic extensions of Monoidal t-norm Logic', Studia Logica 71 (2002), 199-226.
6. GISPERT, J., 'Axiomatic extensions of the Nilpoten Minimum Logic', Reports on Mathematical Logic 37 (2003), 113-123.
7. HÖHLE, U., 'Commutative residuated 1-monoids' in U. Höhle and E.P. Klement (eds). Non-classical logics and their applications to fuzzy subsets. A handbook of the Mathematical foundations of Fuzzy set theory. Kluwer, Dordrecht 1995, pp. 53-106.
8. KOWALSKY, T., and H. ONO 'Residuated lattices: An algebraic glimpse at logics without contractions', Manuscript (preliminary report).
9. NOGUERA, C., F. ESTEVA, and J. GISPERT 'Perfect and bipartite IMTL-algebras and disconnected rotations on basic semihoops' to appear in Archive for Mathematical Logic