Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Predicate_functor_logic> ?p ?o }
- Predicate_functor_logic wikiPageWikiLink Set_theory.
- Predicate_functor_logic wikiPageWikiLink Sheffer_stroke.
- Predicate_functor_logic wikiPageWikiLink Subscript_and_superscript.
- Predicate_functor_logic wikiPageWikiLink Superscript.
- Predicate_functor_logic wikiPageWikiLink Symmetric.
- Predicate_functor_logic wikiPageWikiLink Symmetry.
- Predicate_functor_logic wikiPageWikiLink Syntax.
- Predicate_functor_logic wikiPageWikiLink Tautology_(logic).
- Predicate_functor_logic wikiPageWikiLink Term_(logic).
- Predicate_functor_logic wikiPageWikiLink Term_(mathematics).
- Predicate_functor_logic wikiPageWikiLink Term_logic.
- Predicate_functor_logic wikiPageWikiLink Transitive_relation.
- Predicate_functor_logic wikiPageWikiLink Truth_value.
- Predicate_functor_logic wikiPageWikiLink Tuple.
- Predicate_functor_logic wikiPageWikiLink Undecidable_problem.
- Predicate_functor_logic wikiPageWikiLink Universal_quantification.
- Predicate_functor_logic wikiPageWikiLink Universal_quantifier.
- Predicate_functor_logic wikiPageWikiLink Universe_of_discourse.
- Predicate_functor_logic wikiPageWikiLink Willard_Quine.
- Predicate_functor_logic wikiPageWikiLink Willard_Van_Orman_Quine.
- Predicate_functor_logic wikiPageWikiLink ZFC.
- Predicate_functor_logic wikiPageWikiLink Zermelo–Fraenkel_set_theory.
- Predicate_functor_logic wikiPageWikiLinkText "Predicate functor logic".
- Predicate_functor_logic wikiPageWikiLinkText "predicate functor logic".
- Predicate_functor_logic hasPhotoCollection Predicate_functor_logic.
- Predicate_functor_logic wikiPageUsesTemplate Template:Cn.
- Predicate_functor_logic wikiPageUsesTemplate Template:Col-begin.
- Predicate_functor_logic wikiPageUsesTemplate Template:Col-break.
- Predicate_functor_logic wikiPageUsesTemplate Template:Col-end.
- Predicate_functor_logic subject Category:Algebraic_logic.
- Predicate_functor_logic subject Category:Mathematical_axioms.
- Predicate_functor_logic subject Category:Predicate_logic.
- Predicate_functor_logic hypernym Ways.
- Predicate_functor_logic type Concept.
- 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 wasDerivedFrom Predicate_functor_logic?oldid=622119346.
- Predicate_functor_logic isPrimaryTopicOf Predicate_functor_logic.