About: Geometric logic

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

unknown

Property	Value
dbo:wikiPageExternalLink	https://research-repository.st-andrews.ac.uk/bitstream/handle/10023/6818/Submission3.1.pdf;jsessionid=0AA4AF5C2D7D4A725C26E6D18978272B%3Fsequence=1 https://math.stackexchange.com/questions/3908774/why-is-a-geometric-theory-called-geometric%23:~:text=Geometric%20logic%20is%20precisely%20the,preserve%20all%20higher%20order%20logic.
dbo:wikiPageWikiLink	dbr:Logic_programming dbr:Natural_deduction dbr:Sequent_calculus dbr:First-order_logic dbc:Geometry dbc:Logic dbr:Topos_theory dbr:Horn_clauses dbr:Bulletin_of_Symbolic_Logic dbr:Skolem dbr:Proof-theoretic
dbp:wikiPageUsesTemplate	dbt:Cite_web dbt:Reflist dbt:Citation dbt:Sfnp dbt:Citation_needed dbt:Harvtxt
dct:subject	dbc:Geometry dbc:Logic
rdfs:label	Geometric logic (en)
owl:sameAs	wikidata:Geometric logic dbpedia-global:Geometric logic dbr:Geometric logic
prov:wasDerivedFrom	wikipedia-en:Geometric_logic?oldid=1285212499&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Geometric_logic
is dbo:wikiPageWikiLink of	dbr:Topos dbr:Constructive_set_theory
is foaf:primaryTopic of	wikipedia-en:Geometric_logic

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International