Geometric logic
http://dbpedia.org/resource/Geometric_logic
In mathematical logic, geometric logic is an infinitary generalisation of coherent logic, a restriction of first-order logic due to Skolem that is proof-theoretically tractable. Geometric logic is capable of expressing many mathematical theories and has close connections to topos theory.
rdf:langString
rdf:langString
Geometric logic
xsd:integer
69614416
xsd:integer
1077657167
rdf:langString
In mathematical logic, geometric logic is an infinitary generalisation of coherent logic, a restriction of first-order logic due to Skolem that is proof-theoretically tractable. Geometric logic is capable of expressing many mathematical theories and has close connections to topos theory.
xsd:nonNegativeInteger
4091