An Experiment with Denotational Semantics
Abstract
References
Recommendations
Partial algebras, meaning categories and algebraization
Algebraic methods in language processingMany approaches to natura language semantics are essentially model-theoretic, typically cast in type theoretic terms. Many linguists have adopted type theory or many-sorted algebras [see H. Hendriks, Compositionality and model-theoretic interpretation, ...
Relating operational and denotational semantics for input/output effects
We study the longstanding problem of semantics for input/output (I/O) expressed using side-effects. Our vehicle is a small higher-order imperative language, with operations for interactive character I/O and based on ML syntax. Unlike previous theories, ...
A Denotational Semantics for First-Order Logic
CL '00: Proceedings of the First International Conference on Computational LogicIn Apt and Bezem [AB99] we provided a computational interpretation of first-order formulas over arbitrary interpretations. Here we complement this work by introducing a denotational semantics for first-order logic. Additionally, by allowing an ...
Comments
Information & Contributors
Information
Published In
Publisher
Springer-Verlag
Berlin, Heidelberg
Publication History
Author Tags
Qualifiers
- Research-article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Other Metrics
Citations
View Options
View options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in