Semantics for Combinatory Logic With Intersection Types.
Silvia GhilezanSimona KasterovicPublished in: Frontiers Comput. Sci. (2022)
Keyphrases
- logic programming
- sound and complete with respect
- sound and complete axiomatization
- logical framework
- proof theory
- epistemic logic
- nonmonotonic logics
- classical logic
- conditional logic
- propositional dynamic logic
- active rules
- modal logic
- formal semantics
- computational properties
- logic programs
- model checking
- intuitionistic logic
- proof theoretic
- higher order logic
- logical rules
- autoepistemic logic
- model theoretic
- inference rules
- algebraic structure
- dynamic logic
- knowledge representation
- multi valued
- relational structures