Axiomatization of a Functional Logic Language.
François BronsardUday S. ReddyPublished in: ALP (1990)
Keyphrases
- formal language
- logic programming
- situation calculus
- proof theory
- logic programming language
- predicate calculus
- agent programming
- operational semantics
- programming language
- dynamic logic
- intuitionistic logic
- modal logic
- language learning
- declarative semantics
- linear temporal logic
- formal logic
- highly expressive
- order sorted
- formal theory
- conditional logic
- classical logic
- specification language
- modal operators
- deontic logic
- linear logic
- mathematical theory
- relational structures
- defeasible logic
- programs written
- functional language
- formal semantics
- language processing