n-ary

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 MacFarlane, John 2009

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 Hodges, Wilfrid 2009

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

Algebra Pratt, Vaughan 2007

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

Algebra Pratt, Vaughan 2007

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 Gómez-Torrente, Mario 2006

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

Alfred Tarski Gómez-Torrente, Mario 2006

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

Type Theory Coquand, Thierry 2006

θ 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 Jansana, Ramon 2006

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 Hajek, Petr 2006

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 Gómez-Torrente, Mario 2006