Matches in SemOpenAlex for { <https://semopenalex.org/work/W3202056518> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W3202056518 endingPage "242" @default.
- W3202056518 startingPage "225" @default.
- W3202056518 abstract "Alasdair Urquhart’s work on models for relevant logics is distinctive in a number of different ways. One key theme, present in both his undecidability proof for the relevant logic R (Urquhart ) and his proof of the failure of interpolation in R (Urquhart ), is the use of techniques from geometry (Urquhart ). In this paper, inspired by Urquhart’s work, I explore ways to generate natural models of R (^+) from geometries, and different constraints that an accessibility relation in such a model might satisfy. I end by showing that a set of natural conditions on an accessibility relation, motivated by geometric considerations, is jointly unsatisfiable." @default.
- W3202056518 created "2021-10-11" @default.
- W3202056518 creator A5009371587 @default.
- W3202056518 date "2021-09-25" @default.
- W3202056518 modified "2023-09-24" @default.
- W3202056518 title "Geometric Models for Relevant Logics" @default.
- W3202056518 cites W1032524570 @default.
- W3202056518 cites W2009732936 @default.
- W3202056518 cites W2012449337 @default.
- W3202056518 cites W2041574133 @default.
- W3202056518 cites W2073764215 @default.
- W3202056518 cites W2082707306 @default.
- W3202056518 cites W2120747446 @default.
- W3202056518 cites W2139781262 @default.
- W3202056518 cites W2874049253 @default.
- W3202056518 cites W2991654633 @default.
- W3202056518 cites W3128976560 @default.
- W3202056518 cites W4210848565 @default.
- W3202056518 doi "https://doi.org/10.1007/978-3-030-71430-7_6" @default.
- W3202056518 hasPublicationYear "2021" @default.
- W3202056518 type Work @default.
- W3202056518 sameAs 3202056518 @default.
- W3202056518 citedByCount "0" @default.
- W3202056518 crossrefType "book-chapter" @default.
- W3202056518 hasAuthorship W3202056518A5009371587 @default.
- W3202056518 hasConcept C104114177 @default.
- W3202056518 hasConcept C111919701 @default.
- W3202056518 hasConcept C124101348 @default.
- W3202056518 hasConcept C136119220 @default.
- W3202056518 hasConcept C137800194 @default.
- W3202056518 hasConcept C144237770 @default.
- W3202056518 hasConcept C154945302 @default.
- W3202056518 hasConcept C166957645 @default.
- W3202056518 hasConcept C177264268 @default.
- W3202056518 hasConcept C199343813 @default.
- W3202056518 hasConcept C199360897 @default.
- W3202056518 hasConcept C202444582 @default.
- W3202056518 hasConcept C205649164 @default.
- W3202056518 hasConcept C25343380 @default.
- W3202056518 hasConcept C26517878 @default.
- W3202056518 hasConcept C2776608160 @default.
- W3202056518 hasConcept C2777686260 @default.
- W3202056518 hasConcept C33566652 @default.
- W3202056518 hasConcept C33923547 @default.
- W3202056518 hasConcept C38652104 @default.
- W3202056518 hasConcept C41008148 @default.
- W3202056518 hasConcept C71924100 @default.
- W3202056518 hasConcept C80444323 @default.
- W3202056518 hasConceptScore W3202056518C104114177 @default.
- W3202056518 hasConceptScore W3202056518C111919701 @default.
- W3202056518 hasConceptScore W3202056518C124101348 @default.
- W3202056518 hasConceptScore W3202056518C136119220 @default.
- W3202056518 hasConceptScore W3202056518C137800194 @default.
- W3202056518 hasConceptScore W3202056518C144237770 @default.
- W3202056518 hasConceptScore W3202056518C154945302 @default.
- W3202056518 hasConceptScore W3202056518C166957645 @default.
- W3202056518 hasConceptScore W3202056518C177264268 @default.
- W3202056518 hasConceptScore W3202056518C199343813 @default.
- W3202056518 hasConceptScore W3202056518C199360897 @default.
- W3202056518 hasConceptScore W3202056518C202444582 @default.
- W3202056518 hasConceptScore W3202056518C205649164 @default.
- W3202056518 hasConceptScore W3202056518C25343380 @default.
- W3202056518 hasConceptScore W3202056518C26517878 @default.
- W3202056518 hasConceptScore W3202056518C2776608160 @default.
- W3202056518 hasConceptScore W3202056518C2777686260 @default.
- W3202056518 hasConceptScore W3202056518C33566652 @default.
- W3202056518 hasConceptScore W3202056518C33923547 @default.
- W3202056518 hasConceptScore W3202056518C38652104 @default.
- W3202056518 hasConceptScore W3202056518C41008148 @default.
- W3202056518 hasConceptScore W3202056518C71924100 @default.
- W3202056518 hasConceptScore W3202056518C80444323 @default.
- W3202056518 hasLocation W32020565181 @default.
- W3202056518 hasOpenAccess W3202056518 @default.
- W3202056518 hasPrimaryLocation W32020565181 @default.
- W3202056518 hasRelatedWork W12230757 @default.
- W3202056518 hasRelatedWork W1253898 @default.
- W3202056518 hasRelatedWork W235398 @default.
- W3202056518 hasRelatedWork W4974042 @default.
- W3202056518 hasRelatedWork W4974282 @default.
- W3202056518 hasRelatedWork W6456123 @default.
- W3202056518 hasRelatedWork W7843319 @default.
- W3202056518 hasRelatedWork W8932879 @default.
- W3202056518 hasRelatedWork W9310288 @default.
- W3202056518 hasRelatedWork W9711863 @default.
- W3202056518 isParatext "false" @default.
- W3202056518 isRetracted "false" @default.
- W3202056518 magId "3202056518" @default.
- W3202056518 workType "book-chapter" @default.