Finding:

1. close

   Formal semantics

   Until the advent of modern logic, Aristotle's Organon, especially De Interpretatione, provided the basis for understanding the significance of logic. ... Model-theoretic semantics provides the foundations for an approach to the theory of meaning known as Truth-conditional semantics, which was pioneered by Donald Davidson.
2. close

   Situation semantics

   Situation semantics, pioneered by Jon Barwise and John Perry in the early 1980s, attempts to provide a solid theoretical foundation for reasoning about common-sense and real world situations, typically in the context of theoretical linguistics, philosophy, or applied natural language processing,
3. close

   Categorical logic

   In broad terms, categorical logic represents both syntax and semantics by a category, and an interpretation by a functor. ... In many cases, the categorical semantics of a logic provide a basis for establishing a correspondence between theories in the logic and instances of an appropriate kind of category.
4. close

   Proof-theoretic semantics

   Proof-theoretic semantics is an approach to the semantics of logic that attempts to locate the... as in Tarskian approaches to semantics, but in the role that the proposition... Gerhard Gentzen is the founder of proof-theoretic semantics, providing the formal basis for it in his account of cut-elimination for the sequent...
5. close

   Denotational semantics of the Actor model

   Thus there arose the problem of how to provide modular denotational semantics for concurrent programming languages. ... Since for elements x and y of Diagrams, x≤y means that x is an initial segment of the initial history y, the requirement that elements of P[Diagrams] be downward-closed has a clear basis in intuition.
6. close

   Stable model semantics

   The stable model semantics is the basis of answer set programming. ... If we think of the stable model semantics as a description of the behavior of Prolog in the presence of negation then programs without a unique stable model can be judged unsatisfactory: they do not provide an unambiguous specification for Prolog-style query answering.
7. close

   Conceptual Semantics

   Conceptual Semantics is a framework for semantic analysis developed mainly by Ray Jackendoff. Its aim is to provide a characterization of the conceptual elements by which a person understands words and sentences, and thus to provide an explanatory semantic representation (title of a Jackendoff 1976 paper).
8. close

   Business semantics management

   Business Semantics Management (BSM) encompasses the... application of the derived business semantics patterns to establish semantic... ... Business semantics provide a kind of abstracted, federated, and virtualized way to...
9. close

   Semantics of Business Vocabulary and Business Rules

   The Semantics of Business Vocabulary and Business Rules (SBVR) is an adopted standard of the Object Management Group (OMG) intended to be the basis for formal and detailed natural language declarative description of a complex entity, such as a business. ... it addresses IT professionals, in order to provide them with a deep understanding about business rules and to help them in models creation.
10. close

    General semantics

    General semantics is a non-Aristotelian educational discipline created by Alfred Korzybski (1879–1950) during the years 1919 to 1933. General Semantics is distinct from semantics (a sub-field of linguistics), a different subject.

Explore the following pages on Powerset:

• Formal semantics,
• Situation semantics,
• Categorical logic,
• Proof-theoretic semantics,
• Denotational semantics of the Actor model,
• Stable model semantics,
• Conceptual Semantics,
• Business semantics management,
• Semantics of Business Vocabulary and Business Rules,
• General semantics

Try this on Bing Research

Bing