Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912346473> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W2912346473 endingPage "166" @default.
- W2912346473 startingPage "166" @default.
- W2912346473 abstract "In the first part we develop a syntactic proof theory for the first order modal logic systems M3 (and BM) [53, 54] and ML3 by demonstrating their respective equivalence to two modal Gentzen predicate calculi that we introduce and call GTKS and GLTS — a result that very much relies on proving cut-derivability in both of these Gentzen systems; we then use this equivalence to give a syntactic proof of a conservation theorem (CT) and weak reflection (WR) for both M3 (and BM) and ML 3. We then proceed to show that ML3 shares some of the properties of the system GL [40] — namely, we introduce a suitable definition of an arithmetical interpretation of a ML3 formula which allows us to obtain a soundness lemma; and we also prove the semantic completeness of ML3 with respect to well-capped and transitive Kripke models [28]. Finally, we have devised another method, involving formula mappings, to obtain a proof of the CT and WR for both ML and ML3. The second part is on the power of iteration. We first demonstrate that the class of primitive recursive functions can be obtained by using the schema of pure iteration rather than that of primitive recursion ; we then introduce the schema of infinite iteration and show that closing the class of primitive recursive functions under it, yields the class of partially recursive functions.11These results were published in [44]" @default.
- W2912346473 created "2019-02-21" @default.
- W2912346473 creator A5016883454 @default.
- W2912346473 date "2012-01-01" @default.
- W2912346473 modified "2023-09-27" @default.
- W2912346473 title "Some results in computability and the proof theory of predicate modal logic" @default.
- W2912346473 hasPublicationYear "2012" @default.
- W2912346473 type Work @default.
- W2912346473 sameAs 2912346473 @default.
- W2912346473 citedByCount "0" @default.
- W2912346473 crossrefType "journal-article" @default.
- W2912346473 hasAuthorship W2912346473A5016883454 @default.
- W2912346473 hasConcept C108710211 @default.
- W2912346473 hasConcept C118615104 @default.
- W2912346473 hasConcept C136119220 @default.
- W2912346473 hasConcept C199360897 @default.
- W2912346473 hasConcept C202444582 @default.
- W2912346473 hasConcept C203702658 @default.
- W2912346473 hasConcept C2318724 @default.
- W2912346473 hasConcept C2524010 @default.
- W2912346473 hasConcept C33923547 @default.
- W2912346473 hasConcept C39920170 @default.
- W2912346473 hasConcept C41008148 @default.
- W2912346473 hasConcept C52703633 @default.
- W2912346473 hasConcept C97489613 @default.
- W2912346473 hasConceptScore W2912346473C108710211 @default.
- W2912346473 hasConceptScore W2912346473C118615104 @default.
- W2912346473 hasConceptScore W2912346473C136119220 @default.
- W2912346473 hasConceptScore W2912346473C199360897 @default.
- W2912346473 hasConceptScore W2912346473C202444582 @default.
- W2912346473 hasConceptScore W2912346473C203702658 @default.
- W2912346473 hasConceptScore W2912346473C2318724 @default.
- W2912346473 hasConceptScore W2912346473C2524010 @default.
- W2912346473 hasConceptScore W2912346473C33923547 @default.
- W2912346473 hasConceptScore W2912346473C39920170 @default.
- W2912346473 hasConceptScore W2912346473C41008148 @default.
- W2912346473 hasConceptScore W2912346473C52703633 @default.
- W2912346473 hasConceptScore W2912346473C97489613 @default.
- W2912346473 hasLocation W29123464731 @default.
- W2912346473 hasOpenAccess W2912346473 @default.
- W2912346473 hasPrimaryLocation W29123464731 @default.
- W2912346473 hasRelatedWork W109845714 @default.
- W2912346473 hasRelatedWork W1486772918 @default.
- W2912346473 hasRelatedWork W1557526700 @default.
- W2912346473 hasRelatedWork W1964535757 @default.
- W2912346473 hasRelatedWork W1965630431 @default.
- W2912346473 hasRelatedWork W1971697289 @default.
- W2912346473 hasRelatedWork W1975560341 @default.
- W2912346473 hasRelatedWork W1994230264 @default.
- W2912346473 hasRelatedWork W2005100064 @default.
- W2912346473 hasRelatedWork W2006341276 @default.
- W2912346473 hasRelatedWork W2092765951 @default.
- W2912346473 hasRelatedWork W2146150879 @default.
- W2912346473 hasRelatedWork W2171495347 @default.
- W2912346473 hasRelatedWork W2207081620 @default.
- W2912346473 hasRelatedWork W2617702297 @default.
- W2912346473 hasRelatedWork W2800852260 @default.
- W2912346473 hasRelatedWork W2803110412 @default.
- W2912346473 hasRelatedWork W3212838397 @default.
- W2912346473 hasRelatedWork W371969494 @default.
- W2912346473 hasRelatedWork W3142964662 @default.
- W2912346473 isParatext "false" @default.
- W2912346473 isRetracted "false" @default.
- W2912346473 magId "2912346473" @default.
- W2912346473 workType "article" @default.