About: Disjunction and existence properties

Property	Value
dbo:wikiPageExternalLink	https://www.jstor.org/stable/27588423 http://plato.stanford.edu/entries/logic-intuitionistic/
dbo:wikiPageWikiLink	dbr:Projective_object dbr:Free_topos dbr:Gerhard_Gentzen dbr:Category_theory dbr:Coproduct dbr:Epimorphism dbr:Harvey_Friedman dbc:Proof_theory dbr:First-order_logic dbr:Peter_J._Freyd dbr:Gödel's_incompleteness_theorems dbr:Heyting_algebra dbr:John_Myhill dbr:Axiom_of_constructibility dbr:Sentence_(mathematical_logic) dbr:Heyting_arithmetic dbc:Constructivism_(mathematics) dbr:Kurt_Gödel dbr:Axiom_of_replacement dbr:Stephen_Cole_Kleene dbr:Law_of_excluded_middle dbr:Mathematical_logic dbr:Functor dbr:Ulrich_Kohlenbach dbr:Theorem dbr:Realizability dbr:Bounded_quantifier dbr:Disjunction_elimination dbr:Stanford_Encyclopedia_of_Philosophy dbr:Church's_thesis_(constructive_mathematics) dbr:Constructive_set_theory dbr:Constructive_mathematics dbr:Peano_arithmetic dbr:Recursively_enumerable_set dbr:Existential_quantifier dbr:Terminal_object dbr:Zermelo-Frankel_set_theory dbr:Definitional_extension dbr:Intuitionistic_arithmetic dbr:IZF dbr:Anne_S._Troelstra dbr:CZF dbr:Topoi
dbp:wikiPageUsesTemplate	dbt:Cite_SEP dbt:No_footnotes
dct:subject	dbc:Proof_theory dbc:Constructivism_(mathematics)
rdfs:label	Disjunction and existence properties (en) Propriedades de disjunção e existência (pt)
owl:sameAs	freebase:Disjunction and existence properties wikidata:Disjunction and existence properties dbpedia-pt:Disjunction and existence properties dbpedia-global:Disjunction and existence properties dbr:Disjunction and existence properties
prov:wasDerivedFrom	wikipedia-en:Disjunction_and_existence_properties?oldid=1276258992&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Disjunction_and_existence_properties
is dbo:wikiPageRedirects of	dbr:Existence_property dbr:Disjunction_property dbr:Witness_property
is dbo:wikiPageWikiLink of	dbr:Sequent_calculus dbr:Anti-realism dbr:Heyting_arithmetic dbr:Contradiction dbr:Realizability dbr:Church's_thesis_(constructive_mathematics) dbr:Constructive_set_theory dbr:Existence_property dbr:Disjunction_property dbr:Witness_property
is foaf:primaryTopic of	wikipedia-en:Disjunction_and_existence_properties