Sentence examples for non-extensional from high-quality English sources.

  • Similar

    The analysis of self-reference and diagonalization has motivated the application of algebraic and topological techniques: consider Scott’s models for extensional lambda calculus (Scott 1972) and their subsequent categorical understanding.

  • Similar

    (A correspondent of Lambert, Georg von Holland, had experimented with an extensional theory, and in 1839 the English writer Thomas Solly presented an extensional logic in A Syllabus of Logic, though not an algebraic one.)

  • Similar

    Bolzano's system of extensional propositional logic is closely connected with his extensional logic of ideas.

  • Similar

    For, we shall see, even principles of classical logic involving only the extensional, truth-functional connectives can fail at open worlds: their openness consists in their not being closed under any non-trivial logical consequence principle.

Use non-extensional in a sentence.

  • Similar

    Among the variety of objects in the extensional canon, sets are distinguished by their almost complete absence of structure.

  • Similar

    However, a large debate remained unsettled, and that was the choice between the two versions of type theory that Martin-Löf presented: the earlier intensional theory, and the extensional theory first proposed in CMCP.

  • Similar

    ., the box and diamond of necessity and possibility, behave in a non-standard fashion are less deviant than worlds where also the extensional operators, like classical conjunction and disjunction, do.

  • Similar

    Connectability of laws of different theories requires meaning invariance in the form of extensional equivalence between descriptions, with bridge principles between coextensive but distinct terms in different theories.

  • Similar

    A program is then seen in an extensional way: it is a binary relation between pairs of states of an LTS.

  • Similar

    Of the two main parts of Bolzano's formal logic, the extensional logic of ideas (the logic of classes) and the extensional logic of propositions, the first part comes from a long tradition beginning with Boethius (and derived from Aristotelian syllogistic) and ending — in Bolzano's times — with Gergonne.

  • Similar

    Extensional Model: our episodes of experiencing are themselves temporally extended, and are thus able to incorporate change and persistence in a quite straightforward way.

non-extensional sentence examples

  • Similar

    He takes reference statements to quantify implicitly over senses, that is, functions of expressions, and then defines an extensional relation of material or extensional equivalence between senses (see SM III §63: 84).

  • Similar

    Bolzano's system of relations between propositions is constructed from the extensional relations between ideas as defined in the Maass-Bolzano logic of classes.

  • Similar

    Popper captured the crucial difference between material (extensional) generalizations and subjunctive (intensional) generalizations as follows:

  • Similar

    One gets the axiom of choice from the axioms of cardinalities and extensional codings; the details are technical.

non-extensional

    Report for:

    Use non-extensional in a sentence

    On this page, there are 20 sentence examples for non-extensional. They are all from high-quality sources and constantly processed by lengusa's machine learning routines.

      Sentence frequency composition for this page:
    • 18 sentence examples for non-extensional from Stanford Encyclopedia of Philosophy
    • 1 sentence examples for non-extensional from Encyclopedia Britannica
    • 1 sentence examples for non-extensional from British Royal Society

    Grid-Flow technology

    Just use the " " button to fragment sentence examples and start your learning flow.

    Example output from one of your searches: