Keywords

#predicate_functor_logic

Predicate functor logic

Algebraization of first-order logic

In mathematical logic, predicate functor logic (PFL) is one of several ways to express first-order logic by purely algebraic means, i.e., without quantified variables. PFL employs a small number of algebraic devices called predicate functors that operate on terms to yield terms. PFL is mostly the invention of the logician and philosopher Willard Quine.

Fri 21st

Provided by Wikipedia

Learn More

This keyword could refer to multiple things. Here are some suggestions:

Predicate functor logic Predicate (mathematical logic) First-order logic Combinatory logic Functor (disambiguation) Willard Van Orman Quine Intensional logic Universal quantification Existential quantification Propositional calculus
0 searches
This keyword has never been searched before
This keyword has never been searched for with any other keyword.