Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Disjunction_and_existence_properties> ?p ?o. }
Showing items 1 to 15 of
15
with 100 items per page.
- Disjunction_and_existence_properties abstract "In mathematical logic, the disjunction and existence properties are the "hallmarks" of constructive theories such as Heyting arithmetic and constructive set theories (Rathjen 2005). The disjunction property is satisfied by a theory if, whenever a sentence A ∨ B is a theorem, then either A is a theorem, or B is a theorem.The existence property or witness property is satisfied by a theory if, whenever a sentence (∃x)A(x) is a theorem, where A(x) has no other free variables, then there is some term t such that the theory proves A(t).".
- Disjunction_and_existence_properties wikiPageExternalLink logic-intuitionistic.
- Disjunction_and_existence_properties wikiPageExternalLink 27588423.
- Disjunction_and_existence_properties wikiPageID "1010522".
- Disjunction_and_existence_properties wikiPageRevisionID "594413028".
- Disjunction_and_existence_properties hasPhotoCollection Disjunction_and_existence_properties.
- Disjunction_and_existence_properties subject Category:Constructivism_(mathematics).
- Disjunction_and_existence_properties subject Category:Proof_theory.
- Disjunction_and_existence_properties comment "In mathematical logic, the disjunction and existence properties are the "hallmarks" of constructive theories such as Heyting arithmetic and constructive set theories (Rathjen 2005).".
- Disjunction_and_existence_properties label "Disjunction and existence properties".
- Disjunction_and_existence_properties sameAs m.03yyyp.
- Disjunction_and_existence_properties sameAs Q5282264.
- Disjunction_and_existence_properties sameAs Q5282264.
- Disjunction_and_existence_properties wasDerivedFrom Disjunction_and_existence_properties?oldid=594413028.
- Disjunction_and_existence_properties isPrimaryTopicOf Disjunction_and_existence_properties.