When.com Web Search

Search results

  1. Results From The WOW.Com Content Network
  2. Extensional and intensional definitions - Wikipedia

    en.wikipedia.org/wiki/Extensional_and...

    An extensional definition gives meaning to a term by specifying its extension, that is, every object that falls under the definition of the term in question.. For example, an extensional definition of the term "nation of the world" might be given by listing all of the nations of the world, or by giving some other means of recognizing the members of the corresponding class.

  3. Intension - Wikipedia

    en.wikipedia.org/wiki/Intension

    An extensional statement is a non-intensional statement. Substitution of co-extensive expressions into it always preserves logical value. A language is intensional if it contains intensional statements, and extensional otherwise. All natural languages are intensional. [4]

  4. Intuitionistic type theory - Wikipedia

    en.wikipedia.org/wiki/Intuitionistic_type_theory

    There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent by Girard's paradox, gave way to predicative versions. However, all versions keep the core design of constructive logic using dependent types.

  5. Definition - Wikipedia

    en.wikipedia.org/wiki/Definition

    Intensional definitions vs extensional definitions Main articles: Intension and Extension (semantics) An intensional definition , also called a connotative definition, specifies the necessary and sufficient conditions for a thing to be a member of a specific set . [ 3 ]

  6. List of time zone abbreviations - Wikipedia

    en.wikipedia.org/wiki/List_of_time_zone...

    Such designations can be ambiguous; for example, "CST" can mean China Standard Time (UTC+08:00), Cuba Standard Time (UTC−05:00), and (North American) Central Standard Time (UTC−06:00), and it is also a widely used variant of ACST (Australian Central Standard Time, UTC+9:30). Such designations predate both ISO 8601 and the internet era; in ...

  7. Extensionality - Wikipedia

    en.wikipedia.org/wiki/Extensionality

    In logic, extensionality, or extensional equality, refers to principles that judge objects to be equal if they have the same external properties. It stands in contrast to the concept of intensionality , which is concerned with whether the internal definitions of objects are the same.

  8. Intensional - Wikipedia

    en.wikipedia.org/wiki/Intensional

    See also extensionality, and also intensional definition versus extensional definition; Intensional logic embraces the study of intensional languages: at least one of their functors is intensional. It can be contrasted to extensional logic; Intensional fallacy, committed when one makes an illicit use of Leibniz's law in an argument; See also ...

  9. Time zone - Wikipedia

    en.wikipedia.org/wiki/Time_zone

    Time zones of the world. A time zone is an area which observes a uniform standard time for legal, commercial and social purposes. Time zones tend to follow the boundaries between countries and their subdivisions instead of strictly following longitude, because it is convenient for areas in frequent communication to keep the same time.