Matches in SemOpenAlex for { <https://semopenalex.org/work/W4206687466> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W4206687466 endingPage "1354" @default.
- W4206687466 startingPage "1312" @default.
- W4206687466 abstract "“Clarithmetic” is a generic name for formal number theories similar to Peano arithmetic, but based on computability logic instead of the more traditional classical or intuitionistic logics. Formulas of clarithmetical theories represent interactive computational problems, and their “truth” is understood as existence of an algorithmic solution. Imposing various complexity constraints on such solutions yields various versions of clarithmetic. The present paper introduces a system of clarithmetic for polynomial time computability, which is shown to be sound and complete. Sound in the sense that every theorem T of the system represents an interactive number-theoretic computational problem with a polynomial time solution and, furthermore, such a solution can be efficiently extracted from a proof of T. And complete in the sense that every interactive number-theoretic problem with a polynomial time solution is represented by some theorem T of the system. The paper is written in a semitutorial style and targets readers with no prior familiarity with computability logic." @default.
- W4206687466 created "2022-01-25" @default.
- W4206687466 creator A5021239614 @default.
- W4206687466 date "2011-10-01" @default.
- W4206687466 modified "2023-09-27" @default.
- W4206687466 title "Introduction to clarithmetic I" @default.
- W4206687466 cites W1490922036 @default.
- W4206687466 cites W1589830330 @default.
- W4206687466 cites W1794149593 @default.
- W4206687466 cites W1964882086 @default.
- W4206687466 cites W1968811614 @default.
- W4206687466 cites W1968914536 @default.
- W4206687466 cites W1969548989 @default.
- W4206687466 cites W1971256104 @default.
- W4206687466 cites W1980921829 @default.
- W4206687466 cites W1985872645 @default.
- W4206687466 cites W1996605832 @default.
- W4206687466 cites W2000183812 @default.
- W4206687466 cites W2015274054 @default.
- W4206687466 cites W2051832719 @default.
- W4206687466 cites W2072873942 @default.
- W4206687466 cites W2090101829 @default.
- W4206687466 cites W2093877547 @default.
- W4206687466 cites W2094685149 @default.
- W4206687466 cites W2108532883 @default.
- W4206687466 cites W2121000477 @default.
- W4206687466 cites W2149062436 @default.
- W4206687466 cites W3098537093 @default.
- W4206687466 cites W3098668213 @default.
- W4206687466 cites W4213193997 @default.
- W4206687466 cites W4253236060 @default.
- W4206687466 doi "https://doi.org/10.1016/j.ic.2011.07.002" @default.
- W4206687466 hasPublicationYear "2011" @default.
- W4206687466 type Work @default.
- W4206687466 citedByCount "4" @default.
- W4206687466 countsByYear W42066874662012 @default.
- W4206687466 countsByYear W42066874662014 @default.
- W4206687466 countsByYear W42066874662019 @default.
- W4206687466 countsByYear W42066874662020 @default.
- W4206687466 crossrefType "journal-article" @default.
- W4206687466 hasAuthorship W4206687466A5021239614 @default.
- W4206687466 hasBestOaLocation W42066874661 @default.
- W4206687466 hasConcept C11413529 @default.
- W4206687466 hasConcept C118615104 @default.
- W4206687466 hasConcept C136119220 @default.
- W4206687466 hasConcept C152062344 @default.
- W4206687466 hasConcept C179799912 @default.
- W4206687466 hasConcept C202444582 @default.
- W4206687466 hasConcept C311688 @default.
- W4206687466 hasConcept C33923547 @default.
- W4206687466 hasConcept C41008148 @default.
- W4206687466 hasConcept C97489613 @default.
- W4206687466 hasConceptScore W4206687466C11413529 @default.
- W4206687466 hasConceptScore W4206687466C118615104 @default.
- W4206687466 hasConceptScore W4206687466C136119220 @default.
- W4206687466 hasConceptScore W4206687466C152062344 @default.
- W4206687466 hasConceptScore W4206687466C179799912 @default.
- W4206687466 hasConceptScore W4206687466C202444582 @default.
- W4206687466 hasConceptScore W4206687466C311688 @default.
- W4206687466 hasConceptScore W4206687466C33923547 @default.
- W4206687466 hasConceptScore W4206687466C41008148 @default.
- W4206687466 hasConceptScore W4206687466C97489613 @default.
- W4206687466 hasIssue "10" @default.
- W4206687466 hasLocation W42066874661 @default.
- W4206687466 hasLocation W42066874662 @default.
- W4206687466 hasOpenAccess W4206687466 @default.
- W4206687466 hasPrimaryLocation W42066874661 @default.
- W4206687466 hasRelatedWork W1519201794 @default.
- W4206687466 hasRelatedWork W1542794498 @default.
- W4206687466 hasRelatedWork W1565076445 @default.
- W4206687466 hasRelatedWork W1629505938 @default.
- W4206687466 hasRelatedWork W2103685064 @default.
- W4206687466 hasRelatedWork W2889033124 @default.
- W4206687466 hasRelatedWork W2972158351 @default.
- W4206687466 hasRelatedWork W3098669794 @default.
- W4206687466 hasRelatedWork W4289670448 @default.
- W4206687466 hasRelatedWork W4297903777 @default.
- W4206687466 hasVolume "209" @default.
- W4206687466 isParatext "false" @default.
- W4206687466 isRetracted "false" @default.
- W4206687466 workType "article" @default.