FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W4386723135> ?p ?o ?g. }

• W4386723135 endingPage "149" @default.
• W4386723135 startingPage "131" @default.
• W4386723135 abstract "Abstract Term-forming operators (tfos), like iota- or epsilon-operator, are technical devices applied to build complex terms in formal languages. Although they are very useful in practice their theory is not well developed. In the paper we provide a proof-theoretic formulation of the general approach to tfos provided independently by several authors like Scott, Hatcher, Corcoran, and compare it with an approach proposed later by Tennant. Eventually it is shown how the general theory can be applied to specific areas like Quine’s set theory NF." @default.
• W4386723135 created "2023-09-14" @default.
• W4386723135 creator A5036443124 @default.
• W4386723135 date "2023-01-01" @default.
• W4386723135 modified "2023-10-18" @default.
• W4386723135 title "Towards Proof-Theoretic Formulation of the General Theory of Term-Forming Operators" @default.
• W4386723135 cites W1528233644 @default.
• W4386723135 cites W153474541 @default.
• W4386723135 cites W2070231112 @default.
• W4386723135 cites W2121417702 @default.
• W4386723135 cites W2319520949 @default.
• W4386723135 cites W3110798604 @default.
• W4386723135 cites W3118507965 @default.
• W4386723135 cites W3120352477 @default.
• W4386723135 cites W3156988858 @default.
• W4386723135 cites W3188201283 @default.
• W4386723135 cites W3194705343 @default.
• W4386723135 cites W3195923729 @default.
• W4386723135 cites W3201825737 @default.
• W4386723135 cites W3202656763 @default.
• W4386723135 cites W4220852180 @default.
• W4386723135 cites W4233906803 @default.
• W4386723135 cites W4241775074 @default.
• W4386723135 cites W4321243252 @default.
• W4386723135 doi "https://doi.org/10.1007/978-3-031-43513-3_8" @default.
• W4386723135 hasPublicationYear "2023" @default.
• W4386723135 type Work @default.
• W4386723135 citedByCount "0" @default.
• W4386723135 crossrefType "book-chapter" @default.
• W4386723135 hasAuthorship W4386723135A5036443124 @default.
• W4386723135 hasBestOaLocation W43867231351 @default.
• W4386723135 hasConcept C104317684 @default.
• W4386723135 hasConcept C108710211 @default.
• W4386723135 hasConcept C121332964 @default.
• W4386723135 hasConcept C136119220 @default.
• W4386723135 hasConcept C144237770 @default.
• W4386723135 hasConcept C153046414 @default.
• W4386723135 hasConcept C158448853 @default.
• W4386723135 hasConcept C17020691 @default.
• W4386723135 hasConcept C177264268 @default.
• W4386723135 hasConcept C185592680 @default.
• W4386723135 hasConcept C199343813 @default.
• W4386723135 hasConcept C199360897 @default.
• W4386723135 hasConcept C202444582 @default.
• W4386723135 hasConcept C2318724 @default.
• W4386723135 hasConcept C2524010 @default.
• W4386723135 hasConcept C2777686260 @default.
• W4386723135 hasConcept C28826006 @default.
• W4386723135 hasConcept C2992002026 @default.
• W4386723135 hasConcept C33923547 @default.
• W4386723135 hasConcept C41008148 @default.
• W4386723135 hasConcept C55493867 @default.
• W4386723135 hasConcept C61797465 @default.
• W4386723135 hasConcept C62520636 @default.
• W4386723135 hasConcept C71924100 @default.
• W4386723135 hasConcept C80444323 @default.
• W4386723135 hasConcept C86339819 @default.
• W4386723135 hasConcept C9270016 @default.
• W4386723135 hasConceptScore W4386723135C104317684 @default.
• W4386723135 hasConceptScore W4386723135C108710211 @default.
• W4386723135 hasConceptScore W4386723135C121332964 @default.
• W4386723135 hasConceptScore W4386723135C136119220 @default.
• W4386723135 hasConceptScore W4386723135C144237770 @default.
• W4386723135 hasConceptScore W4386723135C153046414 @default.
• W4386723135 hasConceptScore W4386723135C158448853 @default.
• W4386723135 hasConceptScore W4386723135C17020691 @default.
• W4386723135 hasConceptScore W4386723135C177264268 @default.
• W4386723135 hasConceptScore W4386723135C185592680 @default.
• W4386723135 hasConceptScore W4386723135C199343813 @default.
• W4386723135 hasConceptScore W4386723135C199360897 @default.
• W4386723135 hasConceptScore W4386723135C202444582 @default.
• W4386723135 hasConceptScore W4386723135C2318724 @default.
• W4386723135 hasConceptScore W4386723135C2524010 @default.
• W4386723135 hasConceptScore W4386723135C2777686260 @default.
• W4386723135 hasConceptScore W4386723135C28826006 @default.
• W4386723135 hasConceptScore W4386723135C2992002026 @default.
• W4386723135 hasConceptScore W4386723135C33923547 @default.
• W4386723135 hasConceptScore W4386723135C41008148 @default.
• W4386723135 hasConceptScore W4386723135C55493867 @default.
• W4386723135 hasConceptScore W4386723135C61797465 @default.
• W4386723135 hasConceptScore W4386723135C62520636 @default.
• W4386723135 hasConceptScore W4386723135C71924100 @default.
• W4386723135 hasConceptScore W4386723135C80444323 @default.
• W4386723135 hasConceptScore W4386723135C86339819 @default.
• W4386723135 hasConceptScore W4386723135C9270016 @default.
• W4386723135 hasLocation W43867231351 @default.
• W4386723135 hasOpenAccess W4386723135 @default.
• W4386723135 hasPrimaryLocation W43867231351 @default.
• W4386723135 hasRelatedWork W1711414670 @default.
• W4386723135 hasRelatedWork W1988103490 @default.
• W4386723135 hasRelatedWork W2067638726 @default.
• W4386723135 hasRelatedWork W2085040191 @default.
• W4386723135 hasRelatedWork W2162881047 @default.
• W4386723135 hasRelatedWork W2269956712 @default.
• W4386723135 hasRelatedWork W2355215981 @default.
• W4386723135 hasRelatedWork W2359064340 @default.
• W4386723135 hasRelatedWork W2365571923 @default.
• W4386723135 hasRelatedWork W2950059267 @default.

• next