Curry's paradox in contractionless constructive logic.

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

Keyphrases

multi valued
classical logic
modal logic
logic programming
proof theory
digital circuits
defeasible logic
knowledge representation
databases
expert systems
automated reasoning
search algorithm
decision making
genetic algorithm
real world
asynchronous circuits
neural network