A geometric connection to threshold logic via cubical lattices.

M. Reza Emamy-Khansary

Published in: Ann. Oper. Res. (2011)

Keyphrases

boolean algebra
digital images
logic programming
automated reasoning
geometric constraints
topology preserving
modal logic
geometric structure
logical framework
classical logic
neural network
case study
abductive reasoning
distributive lattices
sound and complete axiomatization