Functional Calculus
nounverified·updated May 18, 2026
a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
Outgoing relationships
No outgoing triples
This term is not the subject of any RDF-style relationship yet.
Incoming relationships
No incoming triples
No other term currently asserts a relationship to this one.