Login / Signup
On the Finite Embeddability Property for Residuated Lattices, Pocrims and BCK-algebras.
Willem J. Blok
Clint J. van Alten
Published in:
Reports Math. Log. (2000)
Keyphrases
</>
distributive lattices
boolean algebra
belief functions
general theory
half spaces
mathematical theory
integer points
real time
genetic algorithm
convex hull
finite number
concept classes
concept class
cardinality constraints