Abstract.
ΠMTL is a schematic extension of the monoidal t-norm based logic (MTL) by the characteristic axioms of product logic. In this paper we prove that ΠMTL satisfies the standard completeness theorem. From the algebraic point of view, we show that the class of ΠMTL-algebras (bounded commutative cancellative residuated l-monoids) in the real unit interval [0,1] generates the variety of all ΠMTL-algebras.
Similar content being viewed by others
References
Birkhoff, G.: Lattice Theory, 3rd edn. Am. Math. Soc. Colloquium Publications, 1995
Cox, D., Little, J., O’Shea, D.: Ideals, Varieties, and Algorithms, 2nd edn. Springer, 1996
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)
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)
Fuchs, L.: Partially Ordered Algebraic Systems. Pergamon Press, Oxford, 1963
Hájek, P.: Metamathematics of Fuzzy Logic. Kluwer, Dordrecht, 1998
Hájek, P.: Observations on the Monoidal T-norm Logic. Fuzzy Sets and Systems 132(1), 107–112 (2002)
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
Jenei, S., Montagna, F.: A Proof of Standard Completeness for Esteva and Godo’s Logic MTL. Studia Logica 70(2), 183–192 (2002)
Author information
Authors and Affiliations
Corresponding author
Additional information
The work was supported by the Grant Agency of the Czech Republic under projects GACR 201/02/1540, 401/03/H047, and by Net CEEPUS SK-042.
Set offprint requests to: Rostislav Horĉík
Rights and permissions
About this article
Cite this article
Horĉík, R. Standard completeness theorem for ΠMTL. Arch. Math. Logic 44, 413–424 (2005). https://doi.org/10.1007/s00153-004-0254-y
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-004-0254-y