example, in linguistics, logic, mathematics, semantics, semiotics, and philosophy of language — the extension of a concept, idea, or sign consists of the...

object Extension (predicate logic) – Set of tuples in mathematical logic that satisfy a predicate Extension (semantics) – In the context of semantics the...

fuzzy Kripke models. Modal logics may also be enhanced via base-extension semantics for the classical propositional systems. In this case, the validity...

consciousness of abstracting he called "extensional devices". Satisfactory accounts of general semantics extensional devices can be found easily. This article...

predicate Extension (semantics), the set of things to which a property applies Extension (simplicial set) Extension by definitions Extensional definition, a...

example, in linguistics, logic, mathematics, semantics, semiotics, and philosophy of language — an extensional context (or transparent context) is a syntactic...

Operational semantics is a category of formal programming language semantics in which certain desired properties of a program, such as correctness, safety...

Formal semantics is the scientific study of linguistic meaning through formal tools from logic and mathematics. It is an interdisciplinary field, sometimes...

Cognitive semantics is part of the cognitive linguistics movement. Semantics is the study of linguistic meaning. Cognitive semantics holds that language...

Action semantics is a framework for the formal specification of semantics of programming languages invented by David Watt and Peter D. Mosses in the 1990s...

2,3\},} The term extensionality, as used in 'Axiom of Extensionality' has its roots in logic and grammar (cf. Extension (semantics)). In grammar, an...

function of R R is the extension of Φ {\displaystyle \Phi } Extensional logic Extensional set Extensionality Intension extension (semantics) in nLab v t e v...

Semantics is the study of linguistic meaning. It examines what meaning is, how words get their meaning, and how the meaning of a complex expression depends...

Programming languages are described in terms of their syntax (form) and semantics (meaning), usually defined by a formal language. Languages usually provide...

Kripke semantics (also known as relational semantics or frame semantics, and often confused with possible world semantics) is a formal semantics for non-classical...

In logic, the semantics of logic or formal semantics is the study of the meaning and interpretation of formal languages, formal systems, and (idealizations...

In logic, extensionality, or extensional equality, refers to principles that judge objects to be equal if they have the same external properties. It stands...

of language, in logic and semantics, is the view that all languages or at least all scientific languages should be extensional. It has been described as...

is to make Internet data machine-readable. To enable the encoding of semantics with the data, technologies such as Resource Description Framework (RDF)...

Distributional semantics is a research area that develops and studies theories and methods for quantifying and categorizing semantic similarities between...

logic and mathematics, second-order logic is an extension of first-order logic, which itself is an extension of propositional logic. Second-order logic is...

additional quantifiers and, sometimes, stronger semantics. Higher-order logics with their standard semantics are more expressive, but their model-theoretic...

In computer science, having value semantics (also value-type semantics or copy-by-value semantics) means for an object that only its value counts, not...

small elephant. Combining categories was a problem for extensional semantics, where the semantics of a word such as red is to be defined as the set of objects...

chain, then all text-based definitions are ultimately circular. Extension (semantics) to the actual things that referring terms like nouns stand for,...

In computer science, denotational semantics (initially known as mathematical semantics or Scott–Strachey semantics) is an approach of formalizing the meanings...

ways to define the semantics of disjunctive Datalog: Minimal model semantics Perfect model semantics Disjunctive stable model semantics, which generalizes...

1): Semantics and Content. June 2014. sec. B. doi:10.17487/RFC7231. RFC 7231. Petersson, A.; Nilsson, M. (June 2014). "Forwarded HTTP Extension: Introduction"...

sets of extensions built with these semantics : Every stable extension is preferred, Every preferred extension is complete, The grounded extension is complete...

operationalization of generative grammar), morphology (e.g., two-level morphology), semantics (e.g., Lesk algorithm), reference (e.g., within Centering Theory) and...