Matches in SemOpenAlex for { <https://semopenalex.org/work/W2108532883> ?p ?o ?g. }
- W2108532883 endingPage "642" @default.
- W2108532883 startingPage "605" @default.
- W2108532883 abstract "The work is devoted to Computability logic (CoL)—the philosophical/mathematical platform and long-term project for redeveloping classical logic after replacing truth by computability in its underlying semantics. This article elaborates some basic complexity theory for the CoL framework. Then it proves soundness and completeness for the deductive system CL12 with respect to the semantics of CoL, including the version of the latter based on polynomial time computability instead of computability-in-principle. CL12 is a sequent calculus system, where the meaning of a sequent intuitively can be characterized as ‘the succedent is algorithmically reducible to the antecedent’, and where formulas are built from predicate letters, function letters, variables, constants, identity, negation, parallel and choice connectives and blind and choice quantifiers. A case is made that CL12 is an adequate logical basis for constructive applied theories, including complexity-oriented ones. MSC: primary: 03F50; secondary: 03D75; 03D15; 03D20; 68Q10; 68T27; 68T30." @default.
- W2108532883 created "2016-06-24" @default.
- W2108532883 creator A5021239614 @default.
- W2108532883 date "2011-04-12" @default.
- W2108532883 modified "2023-10-18" @default.
- W2108532883 title "A logical basis for constructive systems" @default.
- W2108532883 cites W1490922036 @default.
- W2108532883 cites W1589830330 @default.
- W2108532883 cites W1794149593 @default.
- W2108532883 cites W1942012432 @default.
- W2108532883 cites W1964882086 @default.
- W2108532883 cites W1968811614 @default.
- W2108532883 cites W1970606468 @default.
- W2108532883 cites W1980921829 @default.
- W2108532883 cites W1985872645 @default.
- W2108532883 cites W1996605832 @default.
- W2108532883 cites W2000183812 @default.
- W2108532883 cites W2015274054 @default.
- W2108532883 cites W2072873942 @default.
- W2108532883 cites W2093877547 @default.
- W2108532883 cites W2094685149 @default.
- W2108532883 cites W2121000477 @default.
- W2108532883 cites W2148957455 @default.
- W2108532883 cites W3098537093 @default.
- W2108532883 cites W3098668213 @default.
- W2108532883 cites W4213193997 @default.
- W2108532883 cites W4241108585 @default.
- W2108532883 cites W4253236060 @default.
- W2108532883 doi "https://doi.org/10.1093/logcom/exr009" @default.
- W2108532883 hasPublicationYear "2011" @default.
- W2108532883 type Work @default.
- W2108532883 sameAs 2108532883 @default.
- W2108532883 citedByCount "9" @default.
- W2108532883 countsByYear W21085328832012 @default.
- W2108532883 countsByYear W21085328832014 @default.
- W2108532883 countsByYear W21085328832015 @default.
- W2108532883 countsByYear W21085328832016 @default.
- W2108532883 countsByYear W21085328832017 @default.
- W2108532883 countsByYear W21085328832019 @default.
- W2108532883 crossrefType "journal-article" @default.
- W2108532883 hasAuthorship W2108532883A5021239614 @default.
- W2108532883 hasBestOaLocation W21085328832 @default.
- W2108532883 hasConcept C108710211 @default.
- W2108532883 hasConcept C111404639 @default.
- W2108532883 hasConcept C118615104 @default.
- W2108532883 hasConcept C136119220 @default.
- W2108532883 hasConcept C152062344 @default.
- W2108532883 hasConcept C178421362 @default.
- W2108532883 hasConcept C199343813 @default.
- W2108532883 hasConcept C199360897 @default.
- W2108532883 hasConcept C202444582 @default.
- W2108532883 hasConcept C2318724 @default.
- W2108532883 hasConcept C2524010 @default.
- W2108532883 hasConcept C2777686260 @default.
- W2108532883 hasConcept C2778701210 @default.
- W2108532883 hasConcept C28077239 @default.
- W2108532883 hasConcept C33923547 @default.
- W2108532883 hasConcept C39920170 @default.
- W2108532883 hasConcept C41008148 @default.
- W2108532883 hasConcept C62073222 @default.
- W2108532883 hasConcept C6489637 @default.
- W2108532883 hasConcept C65880906 @default.
- W2108532883 hasConcept C71924100 @default.
- W2108532883 hasConcept C89421646 @default.
- W2108532883 hasConcept C98045186 @default.
- W2108532883 hasConceptScore W2108532883C108710211 @default.
- W2108532883 hasConceptScore W2108532883C111404639 @default.
- W2108532883 hasConceptScore W2108532883C118615104 @default.
- W2108532883 hasConceptScore W2108532883C136119220 @default.
- W2108532883 hasConceptScore W2108532883C152062344 @default.
- W2108532883 hasConceptScore W2108532883C178421362 @default.
- W2108532883 hasConceptScore W2108532883C199343813 @default.
- W2108532883 hasConceptScore W2108532883C199360897 @default.
- W2108532883 hasConceptScore W2108532883C202444582 @default.
- W2108532883 hasConceptScore W2108532883C2318724 @default.
- W2108532883 hasConceptScore W2108532883C2524010 @default.
- W2108532883 hasConceptScore W2108532883C2777686260 @default.
- W2108532883 hasConceptScore W2108532883C2778701210 @default.
- W2108532883 hasConceptScore W2108532883C28077239 @default.
- W2108532883 hasConceptScore W2108532883C33923547 @default.
- W2108532883 hasConceptScore W2108532883C39920170 @default.
- W2108532883 hasConceptScore W2108532883C41008148 @default.
- W2108532883 hasConceptScore W2108532883C62073222 @default.
- W2108532883 hasConceptScore W2108532883C6489637 @default.
- W2108532883 hasConceptScore W2108532883C65880906 @default.
- W2108532883 hasConceptScore W2108532883C71924100 @default.
- W2108532883 hasConceptScore W2108532883C89421646 @default.
- W2108532883 hasConceptScore W2108532883C98045186 @default.
- W2108532883 hasIssue "3" @default.
- W2108532883 hasLocation W21085328831 @default.
- W2108532883 hasLocation W21085328832 @default.
- W2108532883 hasLocation W21085328833 @default.
- W2108532883 hasOpenAccess W2108532883 @default.
- W2108532883 hasPrimaryLocation W21085328831 @default.
- W2108532883 hasRelatedWork W1484266479 @default.
- W2108532883 hasRelatedWork W1492421865 @default.
- W2108532883 hasRelatedWork W1510709103 @default.
- W2108532883 hasRelatedWork W1982758692 @default.