All or None: A Novel Choice of Primitives for Elementary Logic.

Richmond H. Thomason Hugues Leblanc

Published in: J. Symb. Log. (1967)

Keyphrases

set theory
classical logic
low level
logic programming
building blocks
modal logic
multi valued
formal theory
high level
defeasible logic
logical framework
asynchronous circuits
data sets
digital circuits
multi agent
database systems
case study
search engine
real world
databases