*Categories and Facets*

*7 recent turned up*

(20 or fewer displayed):

In logic and mathematics, a tacit
extension is in formal respects the simplest
or the logically least committal of the
several possible set operations that are inverse to the
set-theoretic operation of projection.
See also-
Cartesian
product
Inverse relation
Projection
(set theory)
... ...

In logic and mathematics, relation
reduction and relational reducibility have to
do with the extent to which a given relation
is determined by an indexed family or a sequence of other
relations, called the relation dataset. ...

In logic and mathematics, relation
construction and relational constructibility
have to do with the ways that one relation
is determined by an indexed family or a sequence of other
relations, called the relation dataset. ...

In logic and mathematics, the
composition of relations
is the generalization of
the composition of
functions.
Preliminaries-
The first
order of business is to define the operation on relations
that is variously known as the composition of
relations, relational composition, or
relative... ...

Prescisive abstraction or prescision,
variously spelled as precisive abstraction or
prescission, is a formal operation that
marks, selects, or singles out one feature of
a concrete experience to the disregard of
others.
The above definition is adapted from
the one given by Charles Sanders Peirce
(CP 4.235, "The Simplest
Mathematics" (1902), in Collected Papers,
CP... ...

For other uses, see Negation
(disambiguation)
In logic and mathematics, negation
is an operation
on logical values, for
example, the logical value of a proposition, that
sends true to false and false to true.
Definition-
Logical
negation is an operation on one logical value,
typically the value of... ...

In logic, the comprehension of
an object is the totality of intensions,
that is, attributes, characters, marks,
properties, or qualities, that the object
possesses, or else the totality of intensions
that are pertinent to the ...

*theory and discussion*

*theory and discussion*