2018 | OriginalPaper | Chapter
Formal Semantics
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
In this chapter we look more carefully at the various forms of semantic de_nition [26, 68, 92, 97, 114, 141, 167, 173, 189, 204, 213, 218, 219, 224, 251, 246]. These range from natural language accounts through to mathematical ones of various kinds and avors. We shall attempt to evaluate the various approaches to semantics against the criteria set out in the previous chapter. In this regard, we shall explore the di_erent roles of operational and denotational approaches.