Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00036829n
Noun Concept
Categories: Predicate logic, Systems of formal logic, Functional calculus, Model theory
EN
predicate calculus  functional calculus  first-order logic  predicate logic  1st order logic
EN
A system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions) WordNet 3.0
English:
philosophy
Definitions
Relations
Sources
EN
A system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions) WordNet 3.0 & Open English WordNet
In mathematics, a functional calculus is a theory allowing one to apply mathematical functions to mathematical operators. Wikipedia
First-order logic—also known as predicate logic, quantificational logic, and first-order predicate calculus—is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science. Wikipedia
A way to apply various types of functions to operators Wikipedia Disambiguation
Specifies the rules of inference governing the logic of predicates Wikipedia Disambiguation
Collection of formal systems used in mathematics, philosophy, linguistics, and computer science Wikidata
Subfield of logic Wikidata
A formal deductive system extended from propositional logic with the possibility to quantify over individuals of the domain of discourse. Wiktionary
Formal deductive system expanded from propositional logic. Wiktionary (translation)
The generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic or infinitary logic. Wiktionary
Generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic. Wiktionary (translation)
IS A
symbolic logic
mathematical theory
predicate calculus
logical system
HAS PART
predicate calculus
higher-order logic
institutional model theory
DE
Matrix
quantification
PART OF
symbolic logic
predicate calculus
logic
HAS KIND
predicate calculus
zeroth-order logic
higher-order logic
Entscheidungsproblem
DESCRIBED BY SOURCE
Armenian Soviet Encyclopedia
DIFFERENT FROM
predicate calculus
STUDIED BY
symbolic logic
USES
quantifier
WordNet 3.0 & Open English WordNet
EN
predicate calculus, functional calculus
Wikipedia
EN
first-order logic, functional calculus
Wikidata
EN
first-order logic, functional calculus, predicate logic
Wiktionary
EN
first-order logic, predicate logic
Wikipedia Redirections
EN
1st order logic, classical predicate logic, deductive systems for first-order logic, Equational first-order logic, first-order-logic, first-order language, First-Order Logic, first-order logic with equality, First-order Peano arithmetic, first-order predicate calculus, first-order predicate logic, first-order sentence, first order language, first order logic, First order logic with equality, First order predicate calculus, first order predicate logic, FOPC, FOPL, Lower Predicate Calculus, many-sorted first-order logic, Polyadic predicate calculus, predicate calculus, predicate logic, Quantification calculus, quantification theory, satisfaction relation, semantics of first-order logic, Tarskian semantics
Wikidata Alias
EN
first-order predicate calculus, predicate calculus, predicate logic, quantificational logic, quantified logic

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License