Matches in SemOpenAlex for { <https://semopenalex.org/work/W2075208653> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2075208653 endingPage "144" @default.
- W2075208653 startingPage "137" @default.
- W2075208653 abstract "Mathematical Logic QuarterlyVolume 32, Issue 7-9 p. 137-144 Article A Syntactic Proof of Cut-Elimination For GLlin S. Valentini, S. Valentini Ist. Algebra e Geometria, Università di Padova, via G. Belzoni n. 7, I–35100 Padova, ItaliaSearch for more papers by this author S. Valentini, S. Valentini Ist. Algebra e Geometria, Università di Padova, via G. Belzoni n. 7, I–35100 Padova, ItaliaSearch for more papers by this author First published: 1986 https://doi.org/10.1002/malq.19860320707Citations: 3AboutPDF ToolsRequest permissionExport citationAdd to favoritesTrack citation ShareShare Give accessShare full text accessShare full-text accessPlease review our Terms and Conditions of Use and check box below to share full-text version of article.I have read and accept the Wiley Online Library Terms and Conditions of UseShareable LinkUse the link below to share a full-text version of this article with your friends and colleagues. Learn more.Copy URL Share a linkShare onEmailFacebookTwitterLinkedInRedditWechat References 1 Boolos, G., The Unprovability of Consistency. Cambridge University Press, Cambridge 1979. 2 Leivant, D., Proof theory of the modal logic for arithmetic provability. J. Symbolic Logic 46 (1981), 521–538. 3 Nishimura, H., A cut-free sequential system for the propositional modal logic of finite chains. Research Institute for Mathematical Sciences, Kyoto University, 19 (1983), No. 1. 4 Rautenberg, W., Modal tableau calculi and interpolation. J. Philosophical Logic 12 (1983), 403–423. 5 Segerberg, K., An Essay of Classical Modal Logic. Uppsala 1971. 6 Valentini, S., The modal logic of provability: cut-elimination. J. Philosophical Logic 12 (1983), 471–476. 7 Valentini, S., and U. Solitro, The modal logic of consistency assertions of Peano arithmetic. This Zeitschrift 29 (1983), 25–32. Citing Literature Volume32, Issue7-91986Pages 137-144 ReferencesRelatedInformation" @default.
- W2075208653 created "2016-06-24" @default.
- W2075208653 creator A5021932840 @default.
- W2075208653 date "1986-01-01" @default.
- W2075208653 modified "2023-09-28" @default.
- W2075208653 title "A Syntactic Proof of Cut‐Elimination For GL<sub>lin</sub>" @default.
- W2075208653 cites W2034754094 @default.
- W2075208653 cites W2036161385 @default.
- W2075208653 cites W2058973858 @default.
- W2075208653 cites W2062485819 @default.
- W2075208653 doi "https://doi.org/10.1002/malq.19860320707" @default.
- W2075208653 hasPublicationYear "1986" @default.
- W2075208653 type Work @default.
- W2075208653 sameAs 2075208653 @default.
- W2075208653 citedByCount "6" @default.
- W2075208653 countsByYear W20752086532012 @default.
- W2075208653 crossrefType "journal-article" @default.
- W2075208653 hasAuthorship W2075208653A5021932840 @default.
- W2075208653 hasConcept C114092440 @default.
- W2075208653 hasConcept C118615104 @default.
- W2075208653 hasConcept C121332964 @default.
- W2075208653 hasConcept C136119220 @default.
- W2075208653 hasConcept C165801399 @default.
- W2075208653 hasConcept C172385210 @default.
- W2075208653 hasConcept C185592680 @default.
- W2075208653 hasConcept C188027245 @default.
- W2075208653 hasConcept C192609573 @default.
- W2075208653 hasConcept C199343813 @default.
- W2075208653 hasConcept C202444582 @default.
- W2075208653 hasConcept C27508121 @default.
- W2075208653 hasConcept C2776436953 @default.
- W2075208653 hasConcept C2777686260 @default.
- W2075208653 hasConcept C2777796570 @default.
- W2075208653 hasConcept C33923547 @default.
- W2075208653 hasConcept C62520636 @default.
- W2075208653 hasConcept C71139939 @default.
- W2075208653 hasConcept C71924100 @default.
- W2075208653 hasConcept C94375191 @default.
- W2075208653 hasConceptScore W2075208653C114092440 @default.
- W2075208653 hasConceptScore W2075208653C118615104 @default.
- W2075208653 hasConceptScore W2075208653C121332964 @default.
- W2075208653 hasConceptScore W2075208653C136119220 @default.
- W2075208653 hasConceptScore W2075208653C165801399 @default.
- W2075208653 hasConceptScore W2075208653C172385210 @default.
- W2075208653 hasConceptScore W2075208653C185592680 @default.
- W2075208653 hasConceptScore W2075208653C188027245 @default.
- W2075208653 hasConceptScore W2075208653C192609573 @default.
- W2075208653 hasConceptScore W2075208653C199343813 @default.
- W2075208653 hasConceptScore W2075208653C202444582 @default.
- W2075208653 hasConceptScore W2075208653C27508121 @default.
- W2075208653 hasConceptScore W2075208653C2776436953 @default.
- W2075208653 hasConceptScore W2075208653C2777686260 @default.
- W2075208653 hasConceptScore W2075208653C2777796570 @default.
- W2075208653 hasConceptScore W2075208653C33923547 @default.
- W2075208653 hasConceptScore W2075208653C62520636 @default.
- W2075208653 hasConceptScore W2075208653C71139939 @default.
- W2075208653 hasConceptScore W2075208653C71924100 @default.
- W2075208653 hasConceptScore W2075208653C94375191 @default.
- W2075208653 hasIssue "7-9" @default.
- W2075208653 hasLocation W20752086531 @default.
- W2075208653 hasOpenAccess W2075208653 @default.
- W2075208653 hasPrimaryLocation W20752086531 @default.
- W2075208653 hasRelatedWork W119381390 @default.
- W2075208653 hasRelatedWork W1537541219 @default.
- W2075208653 hasRelatedWork W1566488688 @default.
- W2075208653 hasRelatedWork W1909183225 @default.
- W2075208653 hasRelatedWork W1988817063 @default.
- W2075208653 hasRelatedWork W2082558313 @default.
- W2075208653 hasRelatedWork W2962420748 @default.
- W2075208653 hasRelatedWork W2963997697 @default.
- W2075208653 hasRelatedWork W7834247 @default.
- W2075208653 hasRelatedWork W830045649 @default.
- W2075208653 hasVolume "32" @default.
- W2075208653 isParatext "false" @default.
- W2075208653 isRetracted "false" @default.
- W2075208653 magId "2075208653" @default.
- W2075208653 workType "article" @default.