Point-free Foundation of Geometry and Multivalued Logic.

Cristina Coppola Giangiacomo Gerla Annamaria Miranda

Published in: Notre Dame J. Formal Log. (2010)

Keyphrases

multi valued
modal logic
three dimensional
logic programming
artificial intelligence
digital circuits
single valued
databases
neural network
relational databases
relative position
automated reasoning
soft constraints
deontic logic