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