Strong Completeness of a Pure Free Logic.

Ermanno Bencivenga

Published in: Math. Log. Q. (1985)

Keyphrases

multi valued
logic programming
predicate logic
truth values
image sequences
classical logic
defeasible logic
digital circuits
formal language
formal theory
asynchronous circuits
delay insensitive