Connecting Formal Semantics to Constructive Intuitions.

Stuart A. Kurtz John C. Mitchell Michael J. O'Donnell

Published in: Constructivity in Computer Science (1991)

Keyphrases

formal semantics
logical language
logical reasoning
operational semantics
first order logic
formal language
er model
theorem prover
modelling language
modeling language
ontology languages
database
probabilistic model
owl dl ontology