Standard completeness theorem for ΠmTL

Archive for Mathematical Logic

Volumn 44, Issue 4, 2005, Pages 413-424

  Horĉík, Rostislav ^a  

^a CZECH TECHNICAL UNIVERSITY IN PRAGUE   (Czech Republic)

Author keywords

Cancellative left continuous t norm; Fuzzy logic; Left continuous t norm; Many valued logic; MTL logic; Product logic

Indexed keywords

EID: 18244398652     PISSN: 09335846     EISSN: None     Source Type: Journal    
DOI: 10.1007/s00153-004-0254-y     Document Type: Article

References (9)

1. Birkhoff, G.: Lattice Theory, 3rd edn. Am. Math. Soc. Colloquium Publications, 1995
2. Cox, D., Little, J., O'Shea, D.: Ideals, Varieties, and Algorithms, 2nd edn. Springer, 1996
3. Esteva, F., Godo, L.: Monoidal t-norm Based Logic: Towards a logic for left-continuous t-norms. Fuzzy Sets and Systems 124(3), 271-288 (2001)
4. Esteva, F., Gispert, J., Godo, L., Montagna, F.: On the Standard Completeness of some Axiomatic Extensions of the Monoidal T-norm Logic. Studia Logica 71(2), 199-226 (2002)
5. Fuchs, L.: Partially Ordered Algebraic Systems. Pergamon Press, Oxford, 1963
6. Hájek, P.: Metamathematics of Fuzzy Logic. Kluwer, Dordrecht, 1998
7. Hájek, P.: Observations on the Monoidal T-norm Logic. Fuzzy Sets and Systems 132(1), 107-112 (2002)
8. Höhle, U.: Commutative, Residuated l-monoids. In: Non-Classical Logics and Their Applications to Fuzzy Subsets, U. Höhle, E.P. Klement (eds.), Kluwer Academic Publisher, Dordrecht, 1995, pp. 53-106
9. Jenei, S., Montagna, F.: A Proof of Standard Completeness for Esteva and Godo's Logic MTL. Studia Logica 70(2), 183-192 (2002)