DBpedia – Linked Data Fragments

Matches in DBpedia 2015-10 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 "18930".
• Predicate_functor_logic wikiPageOutDegree "125".
• Predicate_functor_logic wikiPageRevisionID "622119346".
• 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 Axiomatic_set_theory.
• Predicate_functor_logic wikiPageWikiLink Binary_relation.
• Predicate_functor_logic wikiPageWikiLink Boolean_algebra.
• Predicate_functor_logic wikiPageWikiLink Boolean_algebra_(logic).
• Predicate_functor_logic wikiPageWikiLink Boolean_data_type.
• Predicate_functor_logic wikiPageWikiLink Boolean_variable.
• 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 Combinator.
• Predicate_functor_logic wikiPageWikiLink Combinatory_logic.
• Predicate_functor_logic wikiPageWikiLink Completeness_(logic).
• Predicate_functor_logic wikiPageWikiLink Connective.
• Predicate_functor_logic wikiPageWikiLink Consistency.
• Predicate_functor_logic wikiPageWikiLink Consistency_proof.
• Predicate_functor_logic wikiPageWikiLink Curry_paradox.
• 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_(mathematics).
• 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 Existential_quantifier.
• Predicate_functor_logic wikiPageWikiLink First-order_logic.
• Predicate_functor_logic wikiPageWikiLink Foundation_of_mathematics.
• Predicate_functor_logic wikiPageWikiLink Foundations_of_mathematics.
• Predicate_functor_logic wikiPageWikiLink Frederick_Fitch.
• Predicate_functor_logic wikiPageWikiLink Free_variable.
• 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_theorem.
• Predicate_functor_logic wikiPageWikiLink Gxc3xb6dels_incompleteness_theorems.
• Predicate_functor_logic wikiPageWikiLink Haskell_Curry.
• Predicate_functor_logic wikiPageWikiLink Higher-order_function.
• Predicate_functor_logic wikiPageWikiLink Higher_order_function.
• Predicate_functor_logic wikiPageWikiLink Identity_(mathematics).
• Predicate_functor_logic wikiPageWikiLink Jean_Van_Heijenoort.
• Predicate_functor_logic wikiPageWikiLink Jean_van_Heijenoort.
• Predicate_functor_logic wikiPageWikiLink Lambda_calculus.
• Predicate_functor_logic wikiPageWikiLink Logic.
• Predicate_functor_logic wikiPageWikiLink Logical_AND.
• Predicate_functor_logic wikiPageWikiLink Logical_NOR.
• Predicate_functor_logic wikiPageWikiLink Logical_OR.
• Predicate_functor_logic wikiPageWikiLink Logical_conjunction.
• 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 Monadic_predicate_logic.
• Predicate_functor_logic wikiPageWikiLink Moses_Schönfinkel.
• Predicate_functor_logic wikiPageWikiLink N-tuple.
• 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_arithmetic.
• 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 Propositional_logic.
• Predicate_functor_logic wikiPageWikiLink Quantification_(logic).
• Predicate_functor_logic wikiPageWikiLink Quantifier_(logic).
• Predicate_functor_logic wikiPageWikiLink Range_(mathematics).
• Predicate_functor_logic wikiPageWikiLink Reflexive_relation.
• Predicate_functor_logic wikiPageWikiLink Relation_(mathematics).
• 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 Sentence_(mathematical_logic).
• Predicate_functor_logic wikiPageWikiLink Sentential_logic.

• next