On the Standard and Rational Completeness of some Axiomatic Extensions of the Monoidal T-norm Logic

The monoidal t-norm based logic MTL is obtained from Hájek's Basic Fuzzy logic BL by dropping the divisibility condition for the strong (or monoidal) conjunction. Recently, Jenei and Montgana have shown MTL to be standard complete, i.e. complete with respect to the class of residuated lattices in the real unit interval [0,1] defined by left-continuous t-norms and their residua. Its corresponding algebraic semantics is given by pre-linear residuated lattices. In this paper we address the issue of standard and rational completeness (rational completeness meaning completeness with respect to a class of algebras in the rational unit interval [0,1]) of some important axiomatic extensions of MTL corresponding to well-known parallel extensions of BL. Moreover, we investigate varieties of MTL algebras whose linearly ordered countable algebras embed into algebras whose lattice reduct is the real and/or the rational interval [0,1]. These embedding properties are used to investigate finite strong standard and/or rational completeness of the corresponding logics.

[1]  Lluis Godo,et al.  Monoidal t-norm based logic: towards a logic for left-continuous t-norms , 2001, Fuzzy Sets Syst..

[2]  Antonio di Nola,et al.  Subvarieties of BL-algebras generated by single-component chains , 2002, Arch. Math. Log..

[3]  H. Rasiowa.  An Algebraic Approach To Non Classical Logics , 1974 .

[4]  Petr Hájek,et al.  A complete many-valued logic with product-conjunction , 1996, Arch. Math. Log..

[5]  Stanley Burris,et al.  A course in universal algebra , 1981, Graduate texts in mathematics.

[6]  Petr Hájek,et al.  Observations on the monoidal t-norm logic , 2002, Fuzzy Sets Syst..

[7]  J. Czelakowski.  Reduced products of logical matrices , 1980 .

[8]  Petr Hájek,et al.  Basic fuzzy logic and BL-algebras II , 1998, Soft Comput..

[9]  Petr Hájek,et al.  Residuated fuzzy logics with an involutive negation , 2000, Arch. Math. Log..

[10]  Petr Hájek,et al.  Metamathematics of Fuzzy Logic , 1998, Trends in Logic.

[11]  Ryszard Wójcicki,et al.  On matrix representations of consequence operations of Łlukasiewicz's sentential calculi , 1973 .

[12]  S. Bloom.  Some theorems on structural consequence operations , 1975 .

[13]  Lluis Godo,et al.  Basic Fuzzy Logic is the logic of continuous t-norms and their residua , 2000, Soft Comput..

[14]  Siegfried Gottwald,et al.  A new axiomatization for involutive monoidal t-norm-based logic , 2001, Fuzzy Sets Syst..

[15]  Franco Montagna,et al.  A Proof of Standard Completeness for Esteva and Godo's Logic MTL , 2002, Stud Logica.

[16]  Chen C. Chang,et al.  Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .