Logic of paradox revisited.

Published in: J. Philos. Log. (1984)

Keyphrases

logic programming
modal logic
automated reasoning
classical logic
proof theory
predicate logic
defeasible logic
multi valued
deductive reasoning
deontic logic
set theory
image processing
genetic algorithm
probabilistic logic
probabilistic model
database systems
case study
asynchronous circuits
databases