Login / Signup
Curry's paradox in contractionless constructive logic.
Seiki Akama
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