Vai al contenuto principale della pagina

Logic, computation, hierarchies / / edited by Vasco Brattka, Hannes Diener, Dieter Spreen



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Titolo: Logic, computation, hierarchies / / edited by Vasco Brattka, Hannes Diener, Dieter Spreen Visualizza cluster
Pubblicazione: Boston : , : De Gruyter, , [2014]
©2014
Descrizione fisica: 1 online resource (424 p.)
Disciplina: 511.3
Soggetto topico: Logic, Symbolic and mathematical
Algebra, Boolean
Quasi-metric spaces
Petri nets
Set theory
Soggetto non controllato: Computability theory
descriptive set theory
non-classical logic
Classificazione: CC 2600
Persona (resp. second.): SelivanovVictor
BrattkaVasco <1966->
DienerHannes
SpreenDieter
Note generali: Description based upon print version of record.
Nota di bibliografia: Includes bibliographical references and index.
Nota di contenuto: Front matter -- Preface -- Contents -- The life and work of Victor L. Selivanov / Spreen, Dieter -- Tight extensions of T0-quasi-metric spaces / Agyingi, Collins Amburo / Haihambo, Paulus / Künzi, Hans-Peter A. -- On the strongly bounded turing degrees of simple sets / Ambos-Spies, Klaus -- Levels of discontinuity, limit-computability, and jump operators / de Brecht, Matthew -- The wadge hierarchy of Petri Nets ω-languages / Duparc, Jacques / Finkel, Olivier / Ressayre, Jean-Pierre -- Diophantine properties of brownian motion: recursive aspects / Fouché, Willem L. -- The completeness of isomorphism / Sy-David, Friedman -- Complexity issues for Preorders on finite labeled forests / Hertling, Peter / Selivanov, Victor -- Boolean algebras of regular quasi-aperiodic languages / Konovalov, Anton -- A simple indeterminate infinite game / Kopczynski, Eryk / Niwinski, Damian -- Lipschitz and uniformly continuous Reducibilities on Ultrametric polish spaces / Motto Ros, Luca / Schlicht, Philipp -- ON THE EQUIVALENCE OF PARACONSISTENT AND EXPLOSIVE VERSIONS OF NELSON LOGIC / Odintsov, Sergey -- COMPUTING CLEBSCH-GORDAN MATRICES WITH APPLICATIONS IN ELASTICITY THEORY / Selivanova, Svetlana -- AN APPROACH TO DESIGN OF AUTOMATA-BASED AXIOMATIZATION FOR PROPOSITIONAL PROGRAM AND TEMPORAL LOGICS (BY EXAMPLE OF LINEAR TEMPORAL LOGIC) / Shilov, Nikolay V. -- PARTIAL NUMBERINGS AND PRECOMPLETENESS / Spreen, Dieter -- AN ISOMORPHISM THEOREM FOR PARTIAL NUMBERINGS / Spreen, Dieter -- TWO THEOREMS ON THE HAUSDORFF MEASURE OF REGULAR ω-LANGUAGES / Staiger, Ludwig -- SOME NOTES ON THE UNIVERSALITY OF THREE-ORDERS ON FINITE LABELED POSETS / Zhukov, Anton V. -- INDEX
Sommario/riassunto: 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.
Titolo autorizzato: Logic, computation, hierarchies  Visualizza cluster
ISBN: 1-61451-940-4
1-61451-804-1
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 9910824174603321
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Serie: Ontos mathematical logic ; ; v. 4.