Free Lukasiewicz implication algebras.

J. Patricio Díaz Varela

Published in: Arch. Math. Log. (2008)

Keyphrases

functional dependencies
databases
modal logic
spatial reasoning
database
neural network
artificial intelligence
decision making
search algorithm
expert systems
clifford algebra