arity

r is called the arity of the function f, i.e., the number of arguments that it takes.

Computability and Complexity Immerman, Neil 2008

Then due to its popul­arity, the dates were extended twice until the end of August.

Archive 2009-06-01 Hels 2009

A structure contains interpretations of certain predicate, function and constant symbols; each predicate or function symbol has a fixed arity.

Model Theory Hodges, Wilfrid 2009

A signature is a set of individual constants, predicate symbols and function symbols; each of the predicate symbols and function symbols has an arity

First-order Model Theory Hodges, Wilfrid 2009

In 1870 Peirce published a long paper “Description of a Notation for the Logic of Relatives” in which he introduced for the first time in history, two years before Frege's Begriffschrift a complete syntax for the logic of relations of arbitrary adicity (or: arity).

Nobody Knows Nothing 2009

Then due to its popul­arity, the dates were extended twice until the end of August.

20th Century German Art Exhibition, London 1938 Hels 2009

Again: rheme (by which Peirce meant a relation of arbitrary adicity or arity) was a first, proposition was a second, and argument was a third.

Nobody Knows Nothing 2009

These axioms tacitly specify the arity of a combinator as well as their reduction (or contraction) pattern.

Combinatory Logic Bimbó, Katalin 2008

P and Q (or for predicates of higher arity when the variable in their last argument is bound).

Combinatory Logic Bimbó, Katalin 2008

Predicates have a fixed finite arity in FOL, and nothing precludes binding at once a variable in the first argument of one predicate and in the second argument of another predicate.

Combinatory Logic Bimbó, Katalin 2008

In general, the arity of an expression is equal to the "number of things" matched by that expression.

Ohm: Parsing Made Easy Patrick Dubroy, co-author of Ohm 2023