An Elementary Proof for Some Semantic Characterizations of Nondeterministic Floyd-Hoare Logic.
Ildikó SainPublished in: Notre Dame J. Formal Log. (1989)
Keyphrases
- proof theory
- linear logic
- proof search
- natural deduction
- set theory
- predicate logic
- theorem proving
- logic programming
- semantic web
- semantic knowledge
- semantic similarity
- logical representation
- logical framework
- sequent calculus
- semantic network
- semantic information
- sequent calculi
- classical logic
- proof procedure
- cut elimination
- school children
- higher order logic
- automated reasoning
- semantic search
- finite state
- theorem prover
- natural language
- decision procedures
- semantic description
- defeasible logic
- high level
- semantic relationships
- computer algebra
- modal logic
- logical rules
- semantic annotation
- programming language
- knowledge representation