39 search results - page 3 / 8 » Co-stone Residuated Lattices |
RML
2000
13 years 9 months ago
2000
SOCO
2010
Springer
13 years 4 months ago
2010
Springer
FUIN
2006
13 years 9 months ago
2006
Abstract. Several residuated algebras are taken into account. The set of axioms defining each structure is reduced with the aim to obtain an independent axiomatization. Further, th...
LOGCOM
2010
13 years 4 months ago
2010
Gentzen systems are introduced for Spinks and Veroff's substructural logic corresponding to constructive logic with strong negation, and some logics in its vicinity. It has b...
EUSFLAT
2007
13 years 11 months ago
2007
In this paper the Archimedean property and the nilpotency of t-norms on the lattice LI is investigated, where LI is the underlying lattice of interval-valued fuzzy set theory (Sam...