The finite model property for semilinear substructural logics (Q2856632)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: The finite model property for semilinear substructural logics |
scientific article; zbMATH DE number 6220966
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The finite model property for semilinear substructural logics |
scientific article; zbMATH DE number 6220966 |
Statements
The finite model property for semilinear substructural logics (English)
0 references
30 October 2013
0 references
fuzzy logics
0 references
uninorm logics
0 references
semilinear logics
0 references
substructural logics
0 references
finite model property
0 references
model theory
0 references
Uninorm logics generalize the t-norm-based mathematical fuzzy logics by relaxing the integrality condition for the characterizing residuated lattices. For two such uninorm logics, UL and IUL, studied by \textit{G. Metcalfe} and \textit{F. Montagna} [J. Symb. Log. 72, No. 3, 834--864 (2007; Zbl 1139.03017)], and for a certain axiomatic extension of a non-commutative generalization, HpsUL, discussed in [\textit{G. Metcalfe} et al., Proof theory for fuzzy logics. Dordrecht: Springer (2009; Zbl 1168.03002)], the author proves that these logics do not have the finite model property.
0 references
