On Categorical Equivalences of Commutative BCK-algebras.

Anatolij Dvurecenskij

Published in: Stud Logica (2000)

Keyphrases

distributive lattices
boolean algebra
belief functions
connected components
general theory
categorical data
relational algebra
special case
attribute values
expert systems
numerical data
numerical values
spatial reasoning
mathematical theory
databases
case study
information systems
relation algebra
social networks