An Extension of Threshold Logic.

Thomas A. Slivinski

Published in: IEEE Trans. Computers (1970)

Keyphrases

proof theoretic
linear time temporal logic
logic programming
logic programs
predicate logic
real world
deontic logic
database
genetic algorithm
modal logic
default reasoning
defeasible logic
formal theory
asynchronous circuits
linear logic
proof theory