
Logic, Computation, Hierarchies.
Title:
Logic, Computation, Hierarchies.
Author:
Brattka, Vasco.
ISBN:
9781614518044
Personal Author:
Physical Description:
1 online resource (414 pages)
Series:
Ontos Mathematical Logic ; v.4
Ontos Mathematical Logic
Contents:
Preface -- Contents -- The life and work of Victor L. Selivanov -- Tight extensions of T0-quasi-metric spaces -- On the strongly bounded turing degrees of simple sets -- Levels of discontinuity, limit-computability, and jump operators -- The wadge hierarchy of Petri Nets ?-languages -- Diophantine properties of brownian motion: recursive aspects -- The completeness of isomorphism -- Complexity issues for Preorders on finite labeled forests -- Boolean algebras of regular quasi-aperiodic languages -- A simple indeterminate infinite game -- Lipschitz and uniformly continuous Reducibilities on Ultrametric polish spaces -- ON THE EQUIVALENCE OF PARACONSISTENT AND EXPLOSIVE VERSIONS OF NELSON LOGIC -- COMPUTING CLEBSCH-GORDAN MATRICES WITH APPLICATIONS IN ELASTICITY THEORY -- AN APPROACH TO DESIGN OF AUTOMATA-BASED AXIOMATIZATION FOR PROPOSITIONAL PROGRAM AND TEMPORAL LOGICS (BY EXAMPLE OF LINEAR TEMPORAL LOGIC) -- PARTIAL NUMBERINGS AND PRECOMPLETENESS -- AN ISOMORPHISM THEOREM FOR PARTIAL NUMBERINGS -- TWO THEOREMS ON THE HAUSDORFF MEASURE OF REGULAR ?-LANGUAGES -- SOME NOTES ON THE UNIVERSALITY OF THREE-ORDERS ON FINITE LABELED POSETS -- INDEX.
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.
Local Note:
Electronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2017. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries.
Genre:
Electronic Access:
Click to View