Matches in SemOpenAlex for { <https://semopenalex.org/work/W2256948220> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2256948220 endingPage "129" @default.
- W2256948220 startingPage "108" @default.
- W2256948220 abstract "During the last decade, the domain of Qualitative Spatial Reasoning, has known a renewal of interest for mereogeometry, a theory that has been initiated by Tarski. Mereogeometry relies on mereology, the Leśniewski’s theory of parts and wholes that is further extended with geometrical primitives and appropriate definitions. However, most approaches (i) depart from the original Leśniewski’s mereology which does not assume usual sets as a basis, (ii) restrict the logical power of mereology to a mere theory of part-whole relations and (iii) require the introduction of a connection relation. Moreover, the seminal paper of Tarki shows up unclear foundations and we argue that mereogeometry as it is introduced by Tarski, can be more suited to extend the whole theory of Leśniewski. For that purpose, we investigate a type-theoretical representation of space more closely related with the original ideas of Leśniewski and expressed with the Coq language. We show that (i) it can be given a more clear foundation, (ii) it can be based on three axioms instead of four and (iii) it can serve as a basis for spatial reasoning with full compliance with Leśniewski’s systems." @default.
- W2256948220 created "2016-06-24" @default.
- W2256948220 creator A5004353463 @default.
- W2256948220 creator A5049593125 @default.
- W2256948220 date "2015-01-01" @default.
- W2256948220 modified "2023-10-16" @default.
- W2256948220 title "A Coq-Based Axiomatization of Tarski’s Mereogeometry" @default.
- W2256948220 cites W1487998695 @default.
- W2256948220 cites W1495147690 @default.
- W2256948220 cites W1553511155 @default.
- W2256948220 cites W1581378641 @default.
- W2256948220 cites W1986402635 @default.
- W2256948220 cites W1988136938 @default.
- W2256948220 cites W1996404651 @default.
- W2256948220 cites W2000778709 @default.
- W2256948220 cites W2009223569 @default.
- W2256948220 cites W2013983736 @default.
- W2256948220 cites W2015506323 @default.
- W2256948220 cites W2024701871 @default.
- W2256948220 cites W2030204184 @default.
- W2256948220 cites W2066676451 @default.
- W2256948220 cites W2101256571 @default.
- W2256948220 cites W2150317969 @default.
- W2256948220 cites W2155774832 @default.
- W2256948220 cites W2166576988 @default.
- W2256948220 cites W2485416360 @default.
- W2256948220 cites W37073676 @default.
- W2256948220 cites W4211068932 @default.
- W2256948220 cites W4235559015 @default.
- W2256948220 cites W4250447423 @default.
- W2256948220 cites W4251213991 @default.
- W2256948220 cites W58789055 @default.
- W2256948220 cites W833599160 @default.
- W2256948220 cites W914834656 @default.
- W2256948220 doi "https://doi.org/10.1007/978-3-319-23374-1_6" @default.
- W2256948220 hasPublicationYear "2015" @default.
- W2256948220 type Work @default.
- W2256948220 sameAs 2256948220 @default.
- W2256948220 citedByCount "0" @default.
- W2256948220 crossrefType "book-chapter" @default.
- W2256948220 hasAuthorship W2256948220A5004353463 @default.
- W2256948220 hasAuthorship W2256948220A5049593125 @default.
- W2256948220 hasBestOaLocation W22569482202 @default.
- W2256948220 hasConcept C111472728 @default.
- W2256948220 hasConcept C136119220 @default.
- W2256948220 hasConcept C138885662 @default.
- W2256948220 hasConcept C144237770 @default.
- W2256948220 hasConcept C145420912 @default.
- W2256948220 hasConcept C152385842 @default.
- W2256948220 hasConcept C167729594 @default.
- W2256948220 hasConcept C183140480 @default.
- W2256948220 hasConcept C199343813 @default.
- W2256948220 hasConcept C202444582 @default.
- W2256948220 hasConcept C2524010 @default.
- W2256948220 hasConcept C25343380 @default.
- W2256948220 hasConcept C2777686260 @default.
- W2256948220 hasConcept C33923547 @default.
- W2256948220 hasConcept C41008148 @default.
- W2256948220 hasConcept C71924100 @default.
- W2256948220 hasConcept C77088390 @default.
- W2256948220 hasConceptScore W2256948220C111472728 @default.
- W2256948220 hasConceptScore W2256948220C136119220 @default.
- W2256948220 hasConceptScore W2256948220C138885662 @default.
- W2256948220 hasConceptScore W2256948220C144237770 @default.
- W2256948220 hasConceptScore W2256948220C145420912 @default.
- W2256948220 hasConceptScore W2256948220C152385842 @default.
- W2256948220 hasConceptScore W2256948220C167729594 @default.
- W2256948220 hasConceptScore W2256948220C183140480 @default.
- W2256948220 hasConceptScore W2256948220C199343813 @default.
- W2256948220 hasConceptScore W2256948220C202444582 @default.
- W2256948220 hasConceptScore W2256948220C2524010 @default.
- W2256948220 hasConceptScore W2256948220C25343380 @default.
- W2256948220 hasConceptScore W2256948220C2777686260 @default.
- W2256948220 hasConceptScore W2256948220C33923547 @default.
- W2256948220 hasConceptScore W2256948220C41008148 @default.
- W2256948220 hasConceptScore W2256948220C71924100 @default.
- W2256948220 hasConceptScore W2256948220C77088390 @default.
- W2256948220 hasLocation W22569482201 @default.
- W2256948220 hasLocation W22569482202 @default.
- W2256948220 hasOpenAccess W2256948220 @default.
- W2256948220 hasPrimaryLocation W22569482201 @default.
- W2256948220 hasRelatedWork W1975586409 @default.
- W2256948220 hasRelatedWork W2007304042 @default.
- W2256948220 hasRelatedWork W2256948220 @default.
- W2256948220 hasRelatedWork W2554405749 @default.
- W2256948220 hasRelatedWork W2753083100 @default.
- W2256948220 hasRelatedWork W2809225387 @default.
- W2256948220 hasRelatedWork W3096722223 @default.
- W2256948220 hasRelatedWork W3198799031 @default.
- W2256948220 hasRelatedWork W4206422476 @default.
- W2256948220 hasRelatedWork W4231597585 @default.
- W2256948220 isParatext "false" @default.
- W2256948220 isRetracted "false" @default.
- W2256948220 magId "2256948220" @default.
- W2256948220 workType "book-chapter" @default.