Strong normalization of a symmetric lambda calculus for second-order classical logic.

Yoriyuki Yamagata

Published in: Arch. Math. Log. (2002)

Keyphrases

classical logic
lambda calculus
logic programming
higher order
programming language
modal logic
intuitionistic logic
default logic
predicate calculus
program understanding
database
database query languages
machine learning
inference rules
possibility theory
valued logic