Reference Constructions in the Single-conclusion Proof Logic.

Vladimir Krupski

Published in: J. Log. Comput. (2006)

Keyphrases

modal logic
linear logic
proof theoretic
machine learning
proof theory
search algorithm
logic programming
asynchronous circuits
defeasible logic
higher order logic
cut elimination
proof search
natural deduction
databases
evolutionary algorithm
decision trees
computer vision
real world