Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Harrop_formula> ?p ?o. }
Showing items 1 to 13 of
13
with 100 items per page.
- Harrop_formula abstract "In intuitionistic logic, the Harrop formulae, named after Ronald Harrop, are the class of formulae inductively defined as follows: Atomic formulae are Harrop, including falsity (⊥); is Harrop provided and are; is Harrop for any well-formed formula is Harrop provided is, and is any well-formed formula; is Harrop provided is.By excluding disjunction and existential quantification (except in the antecedent of implication), non-constructive predicates are avoided, which has benefits for computer implementation. From a constructivist point of view, Harrop formulae are "well-behaved." For example, in Heyting arithmetic, Harrop formulae satisfy a classical equivalence not usually satisfied in constructive logic: Harrop formulae were introduced around 1956 by Ronald Harrop and independently by Helena Rasiowa. Variations of the fundamental concept are used in different branches of constructive mathematics and logic programming.".
- Harrop_formula wikiPageID "22649777".
- Harrop_formula wikiPageRevisionID "499311369".
- Harrop_formula hasPhotoCollection Harrop_formula.
- Harrop_formula subject Category:Constructivism_(mathematics).
- Harrop_formula subject Category:Intuitionism.
- Harrop_formula comment "In intuitionistic logic, the Harrop formulae, named after Ronald Harrop, are the class of formulae inductively defined as follows: Atomic formulae are Harrop, including falsity (⊥); is Harrop provided and are; is Harrop for any well-formed formula is Harrop provided is, and is any well-formed formula; is Harrop provided is.By excluding disjunction and existential quantification (except in the antecedent of implication), non-constructive predicates are avoided, which has benefits for computer implementation. ".
- Harrop_formula label "Harrop formula".
- Harrop_formula sameAs m.05zjzh4.
- Harrop_formula sameAs Q5666472.
- Harrop_formula sameAs Q5666472.
- Harrop_formula wasDerivedFrom Harrop_formula?oldid=499311369.
- Harrop_formula isPrimaryTopicOf Harrop_formula.