Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic.
Roberto BruniFurio HonsellMarina LenisaMarino MiculanPublished in: Electron. Notes Theor. Comput. Sci. (2001)
Keyphrases
- higher order
- lambda calculus
- predicate calculus
- higher order logic
- logical operations
- programming language
- probabilistic logic
- logical framework
- dynamic logic
- logical theories
- high order
- automated reasoning
- modal logic
- predicate logic
- truth values
- logic programming
- natural images
- logical representation
- default reasoning
- probability theory
- neural network
- formal logic
- logical rules
- pairwise