逻辑，计算，层次结构

Logic, Computation, Hierarchies Pub Date : 2014-01-28 DOI:10.1515/9781614518044

V. Brattka, H. Diener, D. Spreen

{"title":"逻辑，计算，层次结构","authors":"V. Brattka, H. Diener, D. Spreen","doi":"10.1515/9781614518044","DOIUrl":null,"url":null,"abstract":"Published in honor of Victor L. Selivanov, the 17 articles collected in this volume inform on the latest developments in computability theory and its applications in computable analysis; descriptive set theory and topology; and the theory of omega-languages; as well as non-classical logics, such as temporal logic and paraconsistent logic. This volume will be of interest to mathematicians and logicians, as well as theoretical computer scientists.","PeriodicalId":359337,"journal":{"name":"Logic, Computation, Hierarchies","volume":"53 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2014-01-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Logic, Computation, Hierarchies\",\"authors\":\"V. Brattka, H. Diener, D. Spreen\",\"doi\":\"10.1515/9781614518044\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Published in honor of Victor L. Selivanov, the 17 articles collected in this volume inform on the latest developments in computability theory and its applications in computable analysis; descriptive set theory and topology; and the theory of omega-languages; as well as non-classical logics, such as temporal logic and paraconsistent logic. This volume will be of interest to mathematicians and logicians, as well as theoretical computer scientists.\",\"PeriodicalId\":359337,\"journal\":{\"name\":\"Logic, Computation, Hierarchies\",\"volume\":\"53 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2014-01-28\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Logic, Computation, Hierarchies\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1515/9781614518044\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Logic, Computation, Hierarchies","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1515/9781614518044","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 1

摘要

为纪念Victor L. Selivanov出版，本卷收录的17篇文章介绍了可计算性理论及其在可计算分析中的应用的最新发展;描述集理论与拓扑学;还有欧米茄语言理论;以及非经典逻辑，如时间逻辑和副一致逻辑。这一卷将感兴趣的数学家和逻辑学家，以及理论计算机科学家。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Logic, Computation, Hierarchies

Published in honor of Victor L. Selivanov, the 17 articles collected in this volume inform on the latest developments in computability theory and its applications in computable analysis; descriptive set theory and topology; and the theory of omega-languages; as well as non-classical logics, such as temporal logic and paraconsistent logic. This volume will be of interest to mathematicians and logicians, as well as theoretical computer scientists.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Logic, Computation, Hierarchies

自引率

0.00%

发文量