s/n6165364

Information
has gloss	(noun) a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions) predicate calculus, functional calculus
has gloss	eng: In mathematics, a functional calculus is a theory allowing one to apply mathematical functions to mathematical operators. It is now a branch (more accurately, several related areas) of the field of functional analysis, connected with spectral theory. (Historically, the term was also used synonymously with calculus of variations; this usage is obsolescent, see though functional derivative. Sometimes it is used in relation to types of functional equation, or in logic for systems of predicate calculus.)
lexicalization	eng: Functional calculus
lexicalization	eng: predicate calculus
subclass of	(noun) any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity formal logic, mathematical logic, symbolic logic

Meaning
German
has gloss	deu: Funktionalkalküle sind ein wichtiges mathematisches Hilfsmittel zur Untersuchung von Banachalgebren.
lexicalization	deu: Funktionalkalkül
lexicalization	deu: Prädikatenlogik
lexicalization	deu: Prädikatrechnung
Finnish
lexicalization	fin: predikaattilogiikka
French
lexicalization	fra: calcul des prédicats
Croatian
lexicalization	hrv: predikatni račun
Korean
lexicalization	kor: 술어 계산
Macedonian
lexicalization	mkd: предикатна пресметка
Dutch
has gloss	nld: Functionele calculus (synoniemen: symbolische calculus, symbolisch rekenen met operatoren) is een verzameling technieken uit de wiskunde, vooral uit de wiskundige analyse, om gewone functies toe te passen op ingewikkeldere objecten, vooral lineaire transformaties.
lexicalization	nld: functionele calculus
Swedish
lexicalization	swe: predikatlogik

Links
has part	(noun) a limitation imposed on the variables of a proposition (as by the quantifiers `some' or `all' or `no') quantification
similar	e/Functional calculus