1. A proof of standard completeness for non-commutative monoidal t-norm logic
- Creator:
- Jenei, Sándor and Montagna, Franco
- Format:
- bez média and svazek
- Type:
- model:article and TEXT
- Subject:
- many-valued logics, non-commutative t-norms, and standard semantics
- Language:
- English
- Description:
- In [6] we proved that tlie monoidal t-norm logic MTL introduced by Esteva and Godo in [4] is the logic of left-continuons t-norms and their residuals. Recently, the Ruinenian school, P. Hájek and others investigated in deep noncommutative t-norms. Tlins it is natural to look for the logic of left-continuons non-commutative t-norms. This is precisely what we do in this paper. The proof is a combination of the inethod used in [6] and of results by .J. Kühn in [13] and by P. Hájek in [9].
- Rights:
- http://creativecommons.org/publicdomain/mark/1.0/ and policy:public