function symbol
121Opaque context — An opaque context is a linguistic context in which it is not always possible to substitute co referential expressions (usually grammatically singular terms) salva veritate. In other words, substitution of co referential expressions into an opaque …
122SNePS — is a knowledge representation, reasoning, and acting (KRRA) system developed and maintained by Stuart C. Shapiro and colleagues at the State University of New York at Buffalo. SNePS is simultaneously a logic based, frame based, and network based… …
123arccosecant — noun function that is the compositional inverse of the cosecant function. Symbol: arccsc …
124arcsecant — noun function that is the compositional inverse of the secant function. Symbol: arcsec …
125Axiomatic system — In mathematics, an axiomatic system is any set of axioms from which some or all axioms can be used in conjunction to logically derive theorems. A mathematical theory consists of an axiomatic system and all its derived theorems. An axiomatic… …
126Set-builder notation — In set theory and its applications to logic, mathematics, and computer science, set builder notation (sometimes simply set notation ) is a mathematical notation for describing a set by stating the properties that its members must satisfy. Forming …
127Fluent calculus — The fluent calculus is a formalism for expressing dynamical domains in first order logic. It is a variant of the situation calculus; the main difference is that situations are considered representations of states. A binary function symbol circ is …
128Reinhardt cardinal — In set theory, a branch of mathematics, a Reinhardt cardinal is a large cardinal kappa;, suggested by harvs|txt=yes|last=Reinhardt|year=1967|year2=1974, that is the critical point of a non trivial elementary embedding j of V into itself.A minor… …
