Symbolic logic in language engineering.
H. M. SemarnePublished in: IRE-AIEE-ACM Computer Conference (Western) (1960)
Keyphrases
- proof theory
- formal language
- dynamic logic
- programming language
- operational semantics
- formal theory
- computer science
- natural language
- logic programming
- language learning
- predicate calculus
- specification language
- highly expressive
- multi valued
- classical logic
- symbolic representation
- intermediate level
- model theoretic
- engineering problems
- formal logic
- engineering design
- logic programming language
- declarative semantics
- linear temporal logic
- lambda calculus
- artificial intelligence
- order sorted
- modeling language
- software engineering
- object oriented
- high level