The Logic of Partitions: Introduction to the Dual of the Logic of Subsets.

David P. Ellerman

Published in: Rev. Symb. Log. (2010)

Keyphrases

logic programming
classical logic
modal logic
automated reasoning
multi valued
predicate logic
neural network
logical framework
asynchronous circuits
search engine
social networks
case study