- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Logic, Computation, Hierarchies
De Gruyter (2014)
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.Author's Profile
Other Versions
No versions found
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Chapters
Tight extensions of T0-quasi-metric spaces. (pages 9-22)Hans-Peter A. Künzi, Paulus Haihambo & Collins Amburo Agyingi
Lipschitz and uniformly continuous Reducibilities on Ultrametric polish spaces. (pages 213-258)Philipp Schlicht & Motto Ros Luca
Computing clebsch-gordan matrices with applications in elasticity theory. (pages 273-296)Svetlana Selivanova
An approach to design of automata-based axiomatization for propositional program and temporal logics. (pages 297-324)Nikolay V. Shilov
Similar books and articles
The life and work of Victor L. Selivanov.Dieter Spreen - 2014 - In Dieter Spreen, Hannes Diener & Vasco Brattka (eds.), Logic, Computation, Hierarchies. De Gruyter. pp. 1-8.
Computing clebsch-gordan matrices with applications in elasticity theory.Svetlana Selivanova - 2014 - In Dieter Spreen, Hannes Diener & Vasco Brattka (eds.), Logic, Computation, Hierarchies. De Gruyter. pp. 273-296.
An approach to design of automata-based axiomatization for propositional program and temporal logics.Nikolay V. Shilov - 2014 - In Dieter Spreen, Hannes Diener & Vasco Brattka (eds.), Logic, Computation, Hierarchies. De Gruyter. pp. 297-324.
Levels of discontinuity, limit-computability, and jump operators.de Brecht Matthew - 2014 - In Dieter Spreen, Hannes Diener & Vasco Brattka (eds.), Logic, Computation, Hierarchies. De Gruyter. pp. 79-108.
Boolean algebras of regular quasi-aperiodic languages.Anton Konovalov - 2014 - In Dieter Spreen, Hannes Diener & Vasco Brattka (eds.), Logic, Computation, Hierarchies. De Gruyter. pp. 191-204.
Two theorems on the hausdorff measure of regular ω-languages.Ludwig Staiger - 2014 - In Dieter Spreen, Hannes Diener & Vasco Brattka (eds.), Logic, Computation, Hierarchies. De Gruyter. pp. 383-392.
Index.Dieter Spreen, Hannes Diener & Vasco Brattka - 2014 - In Dieter Spreen, Hannes Diener & Vasco Brattka (eds.), Logic, Computation, Hierarchies. De Gruyter. pp. 411-414.
Partial numberings and precompleteness.Dieter Spreen - 2014 - In Dieter Spreen, Hannes Diener & Vasco Brattka (eds.), Logic, Computation, Hierarchies. De Gruyter. pp. 325-340.
Analytics
Added to PP
2015-04-02
Downloads
23 (#812,797)
6 months
6 (#720,360)
2015-04-02
Downloads
23 (#812,797)
6 months
6 (#720,360)
Historical graph of downloads
Author's Profile
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-5d8df9484f-tnf22 uwo