On Illocutionary Logic as a Telecommunications Language.
Steven O. KimbroughRonald M. LeePublished in: ICIS (1986)
Keyphrases
- formal language
- logic programming language
- logic programming
- operational semantics
- intuitionistic logic
- proof theory
- predicate calculus
- declarative semantics
- dynamic logic
- highly expressive
- language learning
- language processing
- order sorted
- modal operators
- formal theory
- computational properties
- programming language
- natural language
- conditional logic
- automated reasoning
- object oriented programming
- model theoretic
- predicate logic
- default reasoning
- query language
- formal logic
- lambda calculus
- telecommunications industry
- neural network
- monadic second order logic
- data sets