Classical Logic, Storage Operators and Second-Order lambda-Calculus.

Jean-Louis Krivine

Published in: Ann. Pure Appl. Log. (1994)

Keyphrases

classical logic
lambda calculus
revision operators
higher order
logic programming
programming language
modal logic
predicate calculus
valued logic
database query languages
object oriented
default logic
databases
possibility theory
knowledge representation
program understanding