DBpedia – Linked Data Fragments

Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Predicate_functor_logic> ?p ?o }

• 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 wikiPageLength "18949".
• Predicate_functor_logic wikiPageOutDegree "125".
• Predicate_functor_logic wikiPageRevisionID "708401172".
• Predicate_functor_logic wikiPageWikiLink Abstraction.
• Predicate_functor_logic wikiPageWikiLink Alfred_Tarski.
• Predicate_functor_logic wikiPageWikiLink Algebraic_logic.
• Predicate_functor_logic wikiPageWikiLink Algorithm.
• Predicate_functor_logic wikiPageWikiLink American_Mathematical_Society.
• Predicate_functor_logic wikiPageWikiLink Atomic_formula.
• Predicate_functor_logic wikiPageWikiLink Binary_relation.
• Predicate_functor_logic wikiPageWikiLink Boolean_algebra.
• Predicate_functor_logic wikiPageWikiLink Boolean_data_type.
• Predicate_functor_logic wikiPageWikiLink Cartesian_product.
• Predicate_functor_logic wikiPageWikiLink Category:Algebraic_logic.
• Predicate_functor_logic wikiPageWikiLink Category:Mathematical_axioms.
• Predicate_functor_logic wikiPageWikiLink Category:Predicate_logic.
• Predicate_functor_logic wikiPageWikiLink Combinatory_logic.
• Predicate_functor_logic wikiPageWikiLink Completeness_(logic).
• Predicate_functor_logic wikiPageWikiLink Consistency.
• Predicate_functor_logic wikiPageWikiLink Currys_paradox.
• Predicate_functor_logic wikiPageWikiLink Cylindric_algebra.
• Predicate_functor_logic wikiPageWikiLink Dana_Scott.
• Predicate_functor_logic wikiPageWikiLink Disjunctive_normal_form.
• Predicate_functor_logic wikiPageWikiLink Domain_of_a_function.
• Predicate_functor_logic wikiPageWikiLink Domain_of_discourse.
• Predicate_functor_logic wikiPageWikiLink Existential_quantification.
• Predicate_functor_logic wikiPageWikiLink First-order_logic.
• Predicate_functor_logic wikiPageWikiLink Foundations_of_mathematics.
• Predicate_functor_logic wikiPageWikiLink Frederick_Fitch.
• Predicate_functor_logic wikiPageWikiLink Free_variables_and_bound_variables.
• Predicate_functor_logic wikiPageWikiLink Functional_completeness.
• Predicate_functor_logic wikiPageWikiLink Group_theory.
• Predicate_functor_logic wikiPageWikiLink Gxc3xb6dels_incompleteness_theorems.
• Predicate_functor_logic wikiPageWikiLink Haskell_Curry.
• Predicate_functor_logic wikiPageWikiLink Higher-order_function.
• Predicate_functor_logic wikiPageWikiLink Identity_(mathematics).
• Predicate_functor_logic wikiPageWikiLink Jean_van_Heijenoort.
• Predicate_functor_logic wikiPageWikiLink Lambda_calculus.
• Predicate_functor_logic wikiPageWikiLink Logic.
• Predicate_functor_logic wikiPageWikiLink Logical_NOR.
• Predicate_functor_logic wikiPageWikiLink Logical_conjunction.
• Predicate_functor_logic wikiPageWikiLink Logical_connective.
• Predicate_functor_logic wikiPageWikiLink Logical_disjunction.
• Predicate_functor_logic wikiPageWikiLink Material_conditional.
• Predicate_functor_logic wikiPageWikiLink Mathematical_logic.
• Predicate_functor_logic wikiPageWikiLink Metamathematics.
• Predicate_functor_logic wikiPageWikiLink Modal_logic.
• Predicate_functor_logic wikiPageWikiLink Model_theory.
• Predicate_functor_logic wikiPageWikiLink Modus_ponens.
• Predicate_functor_logic wikiPageWikiLink Monadic_predicate_calculus.
• Predicate_functor_logic wikiPageWikiLink Moses_Schönfinkel.
• Predicate_functor_logic wikiPageWikiLink Natural_deduction.
• Predicate_functor_logic wikiPageWikiLink Natural_number.
• Predicate_functor_logic wikiPageWikiLink Negation.
• Predicate_functor_logic wikiPageWikiLink Paradox.
• Predicate_functor_logic wikiPageWikiLink Paul_Bernays.
• Predicate_functor_logic wikiPageWikiLink Paul_Halmos.
• Predicate_functor_logic wikiPageWikiLink Peano_axioms.
• Predicate_functor_logic wikiPageWikiLink Philosopher.
• Predicate_functor_logic wikiPageWikiLink Philosophy.
• Predicate_functor_logic wikiPageWikiLink Polyadic_algebra.
• Predicate_functor_logic wikiPageWikiLink Predicate_logic.
• Predicate_functor_logic wikiPageWikiLink Propositional_calculus.
• Predicate_functor_logic wikiPageWikiLink Quantifier_(logic).
• Predicate_functor_logic wikiPageWikiLink Range_(mathematics).
• Predicate_functor_logic wikiPageWikiLink Reflexive_relation.
• Predicate_functor_logic wikiPageWikiLink Relation_algebra.
• Predicate_functor_logic wikiPageWikiLink Robert_Feys.
• Predicate_functor_logic wikiPageWikiLink Rudolf_Carnap.
• Predicate_functor_logic wikiPageWikiLink Rules_of_passage_(logic).
• Predicate_functor_logic wikiPageWikiLink S5_(modal_logic).
• Predicate_functor_logic wikiPageWikiLink Semantics.
• Predicate_functor_logic wikiPageWikiLink Sentence_(logic).
• Predicate_functor_logic wikiPageWikiLink Set_theory.
• Predicate_functor_logic wikiPageWikiLink Sheffer_stroke.
• Predicate_functor_logic wikiPageWikiLink Subscript_and_superscript.
• 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_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 Willard_Van_Orman_Quine.
• 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 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.

• next