Matches in SemOpenAlex for { <https://semopenalex.org/work/W4386723030> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W4386723030 endingPage "130" @default.
- W4386723030 startingPage "112" @default.
- W4386723030 abstract "Abstract We present a sequent calculus for first-order logic with lambda terms and definite descriptions. The theory formalised by this calculus is essentially Russellian, but avoids some of its well known drawbacks and treats definite description as genuine terms. A constructive proof of the cut elimination theorem and a Henkin-style proof of completeness are the main results of this contribution." @default.
- W4386723030 created "2023-09-14" @default.
- W4386723030 creator A5036443124 @default.
- W4386723030 creator A5073952442 @default.
- W4386723030 date "2023-01-01" @default.
- W4386723030 modified "2023-09-27" @default.
- W4386723030 title "A Cut-Free, Sound and Complete Russellian Theory of Definite Descriptions" @default.
- W4386723030 cites W126568045 @default.
- W4386723030 cites W2029277296 @default.
- W4386723030 cites W2032030317 @default.
- W4386723030 cites W2080852305 @default.
- W4386723030 cites W2170755515 @default.
- W4386723030 cites W2280944 @default.
- W4386723030 cites W2908410917 @default.
- W4386723030 cites W2969536896 @default.
- W4386723030 cites W3089356431 @default.
- W4386723030 cites W3110798604 @default.
- W4386723030 cites W3120352477 @default.
- W4386723030 cites W3156988858 @default.
- W4386723030 cites W3188201283 @default.
- W4386723030 cites W3194705343 @default.
- W4386723030 cites W3195923729 @default.
- W4386723030 cites W4233906803 @default.
- W4386723030 cites W4237150514 @default.
- W4386723030 cites W4241775074 @default.
- W4386723030 cites W4253795631 @default.
- W4386723030 cites W4321243252 @default.
- W4386723030 cites W607239742 @default.
- W4386723030 cites W981129589 @default.
- W4386723030 doi "https://doi.org/10.1007/978-3-031-43513-3_7" @default.
- W4386723030 hasPublicationYear "2023" @default.
- W4386723030 type Work @default.
- W4386723030 citedByCount "0" @default.
- W4386723030 crossrefType "book-chapter" @default.
- W4386723030 hasAuthorship W4386723030A5036443124 @default.
- W4386723030 hasAuthorship W4386723030A5073952442 @default.
- W4386723030 hasBestOaLocation W43867230301 @default.
- W4386723030 hasConcept C108710211 @default.
- W4386723030 hasConcept C11413529 @default.
- W4386723030 hasConcept C118615104 @default.
- W4386723030 hasConcept C134306372 @default.
- W4386723030 hasConcept C136119220 @default.
- W4386723030 hasConcept C17231256 @default.
- W4386723030 hasConcept C199343813 @default.
- W4386723030 hasConcept C199360897 @default.
- W4386723030 hasConcept C202444582 @default.
- W4386723030 hasConcept C202854965 @default.
- W4386723030 hasConcept C206880738 @default.
- W4386723030 hasConcept C2318724 @default.
- W4386723030 hasConcept C2524010 @default.
- W4386723030 hasConcept C2777686260 @default.
- W4386723030 hasConcept C2778701210 @default.
- W4386723030 hasConcept C33923547 @default.
- W4386723030 hasConcept C41008148 @default.
- W4386723030 hasConcept C62073222 @default.
- W4386723030 hasConcept C65880906 @default.
- W4386723030 hasConcept C71924100 @default.
- W4386723030 hasConcept C89421646 @default.
- W4386723030 hasConcept C98045186 @default.
- W4386723030 hasConceptScore W4386723030C108710211 @default.
- W4386723030 hasConceptScore W4386723030C11413529 @default.
- W4386723030 hasConceptScore W4386723030C118615104 @default.
- W4386723030 hasConceptScore W4386723030C134306372 @default.
- W4386723030 hasConceptScore W4386723030C136119220 @default.
- W4386723030 hasConceptScore W4386723030C17231256 @default.
- W4386723030 hasConceptScore W4386723030C199343813 @default.
- W4386723030 hasConceptScore W4386723030C199360897 @default.
- W4386723030 hasConceptScore W4386723030C202444582 @default.
- W4386723030 hasConceptScore W4386723030C202854965 @default.
- W4386723030 hasConceptScore W4386723030C206880738 @default.
- W4386723030 hasConceptScore W4386723030C2318724 @default.
- W4386723030 hasConceptScore W4386723030C2524010 @default.
- W4386723030 hasConceptScore W4386723030C2777686260 @default.
- W4386723030 hasConceptScore W4386723030C2778701210 @default.
- W4386723030 hasConceptScore W4386723030C33923547 @default.
- W4386723030 hasConceptScore W4386723030C41008148 @default.
- W4386723030 hasConceptScore W4386723030C62073222 @default.
- W4386723030 hasConceptScore W4386723030C65880906 @default.
- W4386723030 hasConceptScore W4386723030C71924100 @default.
- W4386723030 hasConceptScore W4386723030C89421646 @default.
- W4386723030 hasConceptScore W4386723030C98045186 @default.
- W4386723030 hasLocation W43867230301 @default.
- W4386723030 hasOpenAccess W4386723030 @default.
- W4386723030 hasPrimaryLocation W43867230301 @default.
- W4386723030 hasRelatedWork W112730021 @default.
- W4386723030 hasRelatedWork W1499822848 @default.
- W4386723030 hasRelatedWork W1529708838 @default.
- W4386723030 hasRelatedWork W2137780954 @default.
- W4386723030 hasRelatedWork W2138973931 @default.
- W4386723030 hasRelatedWork W2891688494 @default.
- W4386723030 hasRelatedWork W3094156094 @default.
- W4386723030 hasRelatedWork W3112266304 @default.
- W4386723030 hasRelatedWork W3212503723 @default.
- W4386723030 hasRelatedWork W4244570390 @default.
- W4386723030 isParatext "false" @default.
- W4386723030 isRetracted "false" @default.
- W4386723030 workType "book-chapter" @default.