Array theory, logic and the Nial language.
Janice I. GlasgowMichael A. JenkinsPublished in: ICCL (1988)
Keyphrases
- formal theory
- proof theory
- formal logic
- modal operators
- quantifier free
- model theoretic
- mathematical theory
- formal language
- predicate logic
- dynamic logic
- commonsense reasoning
- first order logic
- classical logic
- classical first order logic
- proof theoretic
- set theory
- automated reasoning
- logic programming
- general theory
- formal languages
- probability theory
- boolean algebra
- computer algebra
- intuitionistic logic
- programming language
- operational semantics
- algebraic structure
- agent programming
- highly expressive
- theoretical framework
- description logics