Formal semantics
Formal semantics may refer to:
- Formal semantics (natural language), the study of meaning in natural languages from a formal perspective
- Formal semantics or semantics of logic, the study of the interpretations of formal natural languages, usually the notion of entailment
- Formal semantics or semantics (computer science), the rigorous mathematical study of the meaning of programming languages
Look up formal semantics in Wiktionary, the free dictionary.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.