Sciweavers

6 search results - page 1 / 2
» Counting Finite Residuated Lattices
Sort
View
IFSA
2007
Springer
159views Fuzzy Logic» more  IFSA 2007»
14 years 29 days ago
Counting Finite Residuated Lattices
We study finite residuated lattices with up to 11 elements. We present an algorithm for generating all non-isomorphic finite residuated lattices with a given number of elements. ...
Radim Belohlávek, Vilém Vychodil
MOC
1998
88views more  MOC 1998»
13 years 6 months ago
The number of lattice points in alcoves and the exponents of the finite Weyl groups
We count lattice points in certain rational simplices associated with an irreducible finite Weyl group W and observe that these numbers are linked to the exponents of W .
Ruedi Suter
IGPL
2011
12 years 10 months ago
Interpolation and FEP for logics of residuated algebras
A residuated algebra (RA) is a generalization of a residuated groupoid; instead of one basic binary operation · with residual operations \, /, it admits finitely many basic oper...
Wojciech Buszkowski
JUCS
2008
147views more  JUCS 2008»
13 years 6 months ago
On BCK Algebras - Part I.b: An Attempt to Treat Unitarily the Algebras of Logic. New Algebras
: Since all the algebras connected to logic have, more or less explicitely, an associated order relation, it follows that they have two presentations, dual to each other. We classi...
Afrodita Iorgulescu
DM
2011
238views Education» more  DM 2011»
13 years 1 months ago
A combinatorial approach to height sequences in finite partially ordered sets
Fix an element x of a finite partially ordered set P on n elements. Then let hi(x) be the number of linear extensions of P in which x is in position i, counting from the bottom. T...
Csaba Biró, William T. Trotter