FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2029183607> ?p ?o ?g. }

• W2029183607 endingPage "280" @default.
• W2029183607 startingPage "267" @default.
• W2029183607 abstract "Complexity in logic comes in many forms. In finite model theory, it is the complexity of describing properties, whereas in proof complexity it is the complexity of proving properties in a proof system. Here, we consider several notions of complexity in logic, the connections among them and their relationship with computational complexity. In particular, we show how the complexity of logics in the setting of finite model theory is used to obtain results in bounded arithmetic, stating which functions are provably total in certain weak systems of arithmetic. For example, the transitive closure function (testing reachability between two given points in a directed graph) is definable using only NL-concepts (where NL is the non-deterministic logspace complexity class) and its totality (and, thus, the closure of NL under complementation) is provable within NL-reasoning. Lastly, we will touch upon the topic of formalizing complexity theory using logic, and the meta-question of complexity of logical reasoning about complexity-theoretic statements. This is intended to be a high-level overview, suitable for readers who are not familiar with complexity theory and complexity in logic." @default.
• W2029183607 created "2016-06-24" @default.
• W2029183607 creator A5003773985 @default.
• W2029183607 date "2010-02-09" @default.
• W2029183607 modified "2023-10-18" @default.
• W2029183607 title "Expressing versus Proving: Relating Forms of Complexity in Logic" @default.
• W2029183607 cites W1590283810 @default.
• W2029183607 cites W1993138363 @default.
• W2029183607 cites W2030330223 @default.
• W2029183607 cites W2033743662 @default.
• W2029183607 cites W2036651904 @default.
• W2029183607 cites W2036656440 @default.
• W2029183607 cites W2040404640 @default.
• W2029183607 cites W2041616904 @default.
• W2029183607 cites W2071260871 @default.
• W2029183607 cites W2087012565 @default.
• W2029183607 cites W2128026324 @default.
• W2029183607 cites W2171280299 @default.
• W2029183607 cites W2912080987 @default.
• W2029183607 doi "https://doi.org/10.1093/logcom/exq008" @default.
• W2029183607 hasPublicationYear "2010" @default.
• W2029183607 type Work @default.
• W2029183607 sameAs 2029183607 @default.
• W2029183607 citedByCount "1" @default.
• W2029183607 countsByYear W20291836072017 @default.
• W2029183607 crossrefType "journal-article" @default.
• W2029183607 hasAuthorship W2029183607A5003773985 @default.
• W2029183607 hasConcept C105605280 @default.
• W2029183607 hasConcept C108710211 @default.
• W2029183607 hasConcept C11413529 @default.
• W2029183607 hasConcept C118615104 @default.
• W2029183607 hasConcept C121332964 @default.
• W2029183607 hasConcept C122806257 @default.
• W2029183607 hasConcept C128896722 @default.
• W2029183607 hasConcept C129691609 @default.
• W2029183607 hasConcept C131583701 @default.
• W2029183607 hasConcept C132525143 @default.
• W2029183607 hasConcept C133142742 @default.
• W2029183607 hasConcept C136643341 @default.
• W2029183607 hasConcept C146834321 @default.
• W2029183607 hasConcept C154945302 @default.
• W2029183607 hasConcept C162324750 @default.
• W2029183607 hasConcept C169699857 @default.
• W2029183607 hasConcept C179799912 @default.
• W2029183607 hasConcept C203776342 @default.
• W2029183607 hasConcept C22149727 @default.
• W2029183607 hasConcept C24604422 @default.
• W2029183607 hasConcept C2524010 @default.
• W2029183607 hasConcept C2777212361 @default.
• W2029183607 hasConcept C33923547 @default.
• W2029183607 hasConcept C34447519 @default.
• W2029183607 hasConcept C39637292 @default.
• W2029183607 hasConcept C41008148 @default.
• W2029183607 hasConcept C62520636 @default.
• W2029183607 hasConcept C80444323 @default.
• W2029183607 hasConcept C84114770 @default.
• W2029183607 hasConcept C92043244 @default.
• W2029183607 hasConceptScore W2029183607C105605280 @default.
• W2029183607 hasConceptScore W2029183607C108710211 @default.
• W2029183607 hasConceptScore W2029183607C11413529 @default.
• W2029183607 hasConceptScore W2029183607C118615104 @default.
• W2029183607 hasConceptScore W2029183607C121332964 @default.
• W2029183607 hasConceptScore W2029183607C122806257 @default.
• W2029183607 hasConceptScore W2029183607C128896722 @default.
• W2029183607 hasConceptScore W2029183607C129691609 @default.
• W2029183607 hasConceptScore W2029183607C131583701 @default.
• W2029183607 hasConceptScore W2029183607C132525143 @default.
• W2029183607 hasConceptScore W2029183607C133142742 @default.
• W2029183607 hasConceptScore W2029183607C136643341 @default.
• W2029183607 hasConceptScore W2029183607C146834321 @default.
• W2029183607 hasConceptScore W2029183607C154945302 @default.
• W2029183607 hasConceptScore W2029183607C162324750 @default.
• W2029183607 hasConceptScore W2029183607C169699857 @default.
• W2029183607 hasConceptScore W2029183607C179799912 @default.
• W2029183607 hasConceptScore W2029183607C203776342 @default.
• W2029183607 hasConceptScore W2029183607C22149727 @default.
• W2029183607 hasConceptScore W2029183607C24604422 @default.
• W2029183607 hasConceptScore W2029183607C2524010 @default.
• W2029183607 hasConceptScore W2029183607C2777212361 @default.
• W2029183607 hasConceptScore W2029183607C33923547 @default.
• W2029183607 hasConceptScore W2029183607C34447519 @default.
• W2029183607 hasConceptScore W2029183607C39637292 @default.
• W2029183607 hasConceptScore W2029183607C41008148 @default.
• W2029183607 hasConceptScore W2029183607C62520636 @default.
• W2029183607 hasConceptScore W2029183607C80444323 @default.
• W2029183607 hasConceptScore W2029183607C84114770 @default.
• W2029183607 hasConceptScore W2029183607C92043244 @default.
• W2029183607 hasIssue "2" @default.
• W2029183607 hasLocation W20291836071 @default.
• W2029183607 hasOpenAccess W2029183607 @default.
• W2029183607 hasPrimaryLocation W20291836071 @default.
• W2029183607 hasRelatedWork W1524684967 @default.
• W2029183607 hasRelatedWork W1572916600 @default.
• W2029183607 hasRelatedWork W2041069649 @default.
• W2029183607 hasRelatedWork W2047754121 @default.
• W2029183607 hasRelatedWork W217825496 @default.
• W2029183607 hasRelatedWork W2295040078 @default.
• W2029183607 hasRelatedWork W2374430960 @default.

• next