Definitions

from Wiktionary, Creative Commons Attribution/Share-Alike License

  • adj. of, or relating to, n entities (where n is an arbitrary or large number)

Etymologies

From n ("an arbitrary number") + -ary (Wiktionary)

Examples

  • We can think of the “extension” of an n-ary quantifier or sentential connective C on a domain D as a function from n-tuples of sets of assignments (of values from D to the language's variables) to sets of assignments.

    Logical Constants

  • If one thinks of a structure as a kind of ordered n-tuple of sets etc., then a class Mod (T) becomes an n-ary relation, and Pasch's account agrees with ours.

    Model Theory

  • In algebraic geometry varieties transform via regular n-ary functions f: An

    Algebra

  • And we interpret each n-ary operation symbol f as the n-ary operation that takes any n terms t1,

    Algebra

  • (A1, ¦, An) is the type of n-ary relations over objects of respective types

    Type Theory

  • A standard interpretation is given by a non-empty domain M and for each n-ary predicate P by a n-ary fuzzy relation on M, i.e., a mapping assigning to each n-tuple of elements of

    Fuzzy Logic

  • P of a domain of individuals D induces a permutation of the class of n-ary relations of elements of D, a permutation of the class of functions with n arguments with domain

    Alfred Tarski

  • Thus, the class of n-ary relations of elements of U (for any given n), the class of n-ary relations among relations of elements of

    Alfred Tarski

  • Dn and range included in D, a permutation of the class of n-ary relations among relations of elements of D, etc.

    Alfred Tarski

  • θ on the carrier A of A that satisfies for every n-ary connective ˆ— ˆˆ L the following compatibility property: for every a1,

    Propositional Consequence Relations and Algebraic Logic

Comments

Log in or sign up to get involved in the conversation. It's quick and easy.