Matches in SemOpenAlex for { <https://semopenalex.org/work/W2082790584> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2082790584 endingPage "695" @default.
- W2082790584 startingPage "683" @default.
- W2082790584 abstract "In this paper we define symbolic models for Single-Conclusion Logics of Proofs. We prove the soundness and completeness of these logics with respect to the corresponding classes of symbolic models. We apply the semantic methods developed in this paper to justify the use of terms of single-conclusion logic of proofs as notation for derivations in this logic. Bibliography: 17 titles." @default.
- W2082790584 created "2016-06-24" @default.
- W2082790584 creator A5077701299 @default.
- W2082790584 date "2011-05-31" @default.
- W2082790584 modified "2023-09-23" @default.
- W2082790584 title "On symbolic models for Single-Conclusion Logic of Proofs" @default.
- W2082790584 cites W1971637759 @default.
- W2082790584 cites W1995457698 @default.
- W2082790584 cites W2004550536 @default.
- W2082790584 cites W2009552408 @default.
- W2082790584 cites W2042593637 @default.
- W2082790584 cites W2043468053 @default.
- W2082790584 cites W2045237008 @default.
- W2082790584 cites W2078766035 @default.
- W2082790584 cites W2083870660 @default.
- W2082790584 cites W2134850491 @default.
- W2082790584 cites W2146150879 @default.
- W2082790584 cites W2155410891 @default.
- W2082790584 cites W2322008847 @default.
- W2082790584 cites W4205175461 @default.
- W2082790584 doi "https://doi.org/10.1070/sm2011v202n05abeh004161" @default.
- W2082790584 hasPublicationYear "2011" @default.
- W2082790584 type Work @default.
- W2082790584 sameAs 2082790584 @default.
- W2082790584 citedByCount "3" @default.
- W2082790584 countsByYear W20827905842012 @default.
- W2082790584 countsByYear W20827905842017 @default.
- W2082790584 countsByYear W20827905842020 @default.
- W2082790584 crossrefType "journal-article" @default.
- W2082790584 hasAuthorship W2082790584A5077701299 @default.
- W2082790584 hasConcept C108710211 @default.
- W2082790584 hasConcept C11413529 @default.
- W2082790584 hasConcept C118615104 @default.
- W2082790584 hasConcept C136119220 @default.
- W2082790584 hasConcept C199343813 @default.
- W2082790584 hasConcept C202444582 @default.
- W2082790584 hasConcept C2524010 @default.
- W2082790584 hasConcept C2777686260 @default.
- W2082790584 hasConcept C33923547 @default.
- W2082790584 hasConcept C47884741 @default.
- W2082790584 hasConcept C71924100 @default.
- W2082790584 hasConcept C94375191 @default.
- W2082790584 hasConceptScore W2082790584C108710211 @default.
- W2082790584 hasConceptScore W2082790584C11413529 @default.
- W2082790584 hasConceptScore W2082790584C118615104 @default.
- W2082790584 hasConceptScore W2082790584C136119220 @default.
- W2082790584 hasConceptScore W2082790584C199343813 @default.
- W2082790584 hasConceptScore W2082790584C202444582 @default.
- W2082790584 hasConceptScore W2082790584C2524010 @default.
- W2082790584 hasConceptScore W2082790584C2777686260 @default.
- W2082790584 hasConceptScore W2082790584C33923547 @default.
- W2082790584 hasConceptScore W2082790584C47884741 @default.
- W2082790584 hasConceptScore W2082790584C71924100 @default.
- W2082790584 hasConceptScore W2082790584C94375191 @default.
- W2082790584 hasIssue "5" @default.
- W2082790584 hasLocation W20827905841 @default.
- W2082790584 hasOpenAccess W2082790584 @default.
- W2082790584 hasPrimaryLocation W20827905841 @default.
- W2082790584 hasRelatedWork W1995871915 @default.
- W2082790584 hasRelatedWork W2000486485 @default.
- W2082790584 hasRelatedWork W2017539366 @default.
- W2082790584 hasRelatedWork W2081418977 @default.
- W2082790584 hasRelatedWork W2566647638 @default.
- W2082790584 hasRelatedWork W2808055167 @default.
- W2082790584 hasRelatedWork W4234787043 @default.
- W2082790584 hasRelatedWork W4298877047 @default.
- W2082790584 hasRelatedWork W570407762 @default.
- W2082790584 hasRelatedWork W67731524 @default.
- W2082790584 hasVolume "202" @default.
- W2082790584 isParatext "false" @default.
- W2082790584 isRetracted "false" @default.
- W2082790584 magId "2082790584" @default.
- W2082790584 workType "article" @default.