Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Predicate_functor_logic> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items per page.
- Predicate_functor_logic abstract "In mathematical logic, predicate functor logic (PFL) is one of several ways to express first-order logic (also known as predicate logic) by purely algebraic means, i.e., without quantified variables. PFL employs a small number of algebraic devices called predicate functors (or predicate modifiers) that operate on terms to yield terms. PFL is mostly the invention of the logician and philosopher Willard Quine.".
- Predicate_functor_logic wikiPageExternalLink download?doi=10.1.1.55.5673&rep=rep1&type=ps.
- Predicate_functor_logic wikiPageExternalLink 1093870313.
- Predicate_functor_logic wikiPageID "15282871".
- Predicate_functor_logic wikiPageRevisionID "538957065".
- Predicate_functor_logic hasPhotoCollection Predicate_functor_logic.
- Predicate_functor_logic subject Category:Algebraic_logic.
- Predicate_functor_logic subject Category:Mathematical_axioms.
- Predicate_functor_logic subject Category:Predicate_logic.
- Predicate_functor_logic type Abstraction100002137.
- Predicate_functor_logic type AuditoryCommunication107109019.
- Predicate_functor_logic type Communication100033020.
- Predicate_functor_logic type MathematicalAxioms.
- Predicate_functor_logic type Maxim107152948.
- Predicate_functor_logic type Saying107151380.
- Predicate_functor_logic type Speech107109196.
- Predicate_functor_logic comment "In mathematical logic, predicate functor logic (PFL) is one of several ways to express first-order logic (also known as predicate logic) by purely algebraic means, i.e., without quantified variables. PFL employs a small number of algebraic devices called predicate functors (or predicate modifiers) that operate on terms to yield terms. PFL is mostly the invention of the logician and philosopher Willard Quine.".
- Predicate_functor_logic label "Predicate functor logic".
- Predicate_functor_logic sameAs m.03hn_px.
- Predicate_functor_logic sameAs Q7239631.
- Predicate_functor_logic sameAs Q7239631.
- Predicate_functor_logic sameAs Predicate_functor_logic.
- Predicate_functor_logic wasDerivedFrom Predicate_functor_logic?oldid=538957065.
- Predicate_functor_logic isPrimaryTopicOf Predicate_functor_logic.