Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Advances in proof theory / / edited by Reinhard Kahle, Thomas Strahm, Thomas Studer
| Advances in proof theory / / edited by Reinhard Kahle, Thomas Strahm, Thomas Studer |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2016 |
| Descrizione fisica | 1 online resource (430 p.) |
| Disciplina | 511.3 |
| Collana | Progress in Computer Science and Applied Logic |
| Soggetto topico |
Mathematical logic
Logic Mathematical Logic and Foundations |
| ISBN | 3-319-29198-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | W. Buchholz: A survey on ordinal notations around the Bachmann-Howard ordinal -- A. Cantini: About truth and types -- R. Dyckhoff: Intuitionistic decision procedures since Gentzen -- S. Feferman: The operational perspective -- R. Gore: Formally verified proof-theory using Isabelle/HOL -- P. Minari: Analytic equational proof systems for combinatory logic and lambda calculus -- W. Pohlers: From subsystems of classical analysis to subsystems of set theory - a personal account -- M. Rathjen: Ordinal analysis and witness extraction -- P. Schuster: Logic completeness via open induction -- H. Schwichtenberg: On the computational content of Higman's lemma -- P. Schroeder-Heister: TBA -- A. Setzer: TBA -- S. Wainer: On weak "pointwise" induction, and a miniaturized predicativity. |
| Record Nr. | UNINA-9910254060903321 |
| Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Axiomatic Thinking II [[electronic resource] /] / edited by Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga
| Axiomatic Thinking II [[electronic resource] /] / edited by Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga |
| Edizione | [1st ed. 2022.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
| Descrizione fisica | 1 online resource (293 pages) |
| Disciplina | 516 |
| Soggetto topico |
Mathematical logic
Mathematics - Philosophy Mathematics History Mathematical Logic and Foundations Philosophy of Mathematics History of Mathematical Sciences Axiomes |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 3-030-77799-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Volume 2: Logic, Mathematics, and other Sciences -- Part II: Logic -- A Framework for Metamathematics -- Simplified Cut Elimination for Kripke-Platek Set Theory -- On the Performance of Axiom Systems -- Well-Ordering Priciples in Proof Theory and Reverse Mathematics -- Part III: Mathematics -- Reflections on the Axiomatic Approach to Continuity -- Abstract Generality, Simplicity, Forgetting, and Discovery -- Varieties of Infiniteness in the Existence of Infinitely Many Primes -- Axiomatics as a Functional Strategy for Complex Proofs: the Case of Riemann Hypothesis -- Part IV: Other Sciences -- What is the Church-Turing Thesis? -- Axiomatic Thinking in Physics--Essence or Useless Ornament? -- Axiomatic Thinking--Applied to Religion. . |
| Record Nr. | UNISA-996490346103316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Axiomatic Thinking II / / edited by Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga
| Axiomatic Thinking II / / edited by Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga |
| Edizione | [1st ed. 2022.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
| Descrizione fisica | 1 online resource (293 pages) |
| Disciplina | 516 |
| Soggetto topico |
Mathematical logic
Mathematics - Philosophy Mathematics History Mathematical Logic and Foundations Philosophy of Mathematics History of Mathematical Sciences Axiomes |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 3-030-77799-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Volume 2: Logic, Mathematics, and other Sciences -- Part II: Logic -- A Framework for Metamathematics -- Simplified Cut Elimination for Kripke-Platek Set Theory -- On the Performance of Axiom Systems -- Well-Ordering Priciples in Proof Theory and Reverse Mathematics -- Part III: Mathematics -- Reflections on the Axiomatic Approach to Continuity -- Abstract Generality, Simplicity, Forgetting, and Discovery -- Varieties of Infiniteness in the Existence of Infinitely Many Primes -- Axiomatics as a Functional Strategy for Complex Proofs: the Case of Riemann Hypothesis -- Part IV: Other Sciences -- What is the Church-Turing Thesis? -- Axiomatic Thinking in Physics--Essence or Useless Ornament? -- Axiomatic Thinking--Applied to Religion. . |
| Record Nr. | UNINA-9910595053703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer Science Logic [[electronic resource] ] : 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings / / edited by Erich Grädel, Reinhard Kahle
| Computer Science Logic [[electronic resource] ] : 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings / / edited by Erich Grädel, Reinhard Kahle |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XI, 567 p.) |
| Disciplina | 004.015113 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Artificial intelligence
Mathematical logic Machine theory Computer science Computer science—Mathematics Coding theory Information theory Artificial Intelligence Mathematical Logic and Foundations Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Symbolic and Algebraic Manipulation Coding and Information Theory |
| ISBN | 3-642-04027-6 |
| Classificazione |
DAT 540f
DAT 706f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Algebra for Tree Languages -- Forcing and Type Theory -- Functional Interpretations of Intuitionistic Linear Logic -- Fixed-Point Definability and Polynomial Time -- Special Invited Talk to Commemorate the Centenary of Stephen Cole Kleene -- Kleene’s Amazing Second Recursion Theorem -- Contributed Papers -- Typed Applicative Structures and Normalization by Evaluation for System F ? -- Jumping Boxes -- Tree-Width for First Order Formulae -- Algorithmic Analysis of Array-Accessing Programs -- Decidable Relationships between Consistency Notions for Constraint Satisfaction Problems -- Cardinality Quantifiers in MLO over Trees -- From Coinductive Proofs to Exact Real Arithmetic -- On the Relation between Sized-Types Based Termination and Semantic Labelling -- Expanding the Realm of Systematic Proof Theory -- EXPTIME Tableaux for the Coalgebraic ?-Calculus -- On the Word Problem for -Categories, and the Properties of Two-Way Communication -- Intersection, Universally Quantified, and Reference Types -- Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata -- Enriching an Effect Calculus with Linear Types -- Degrees of Undecidability in Term Rewriting -- Upper Bounds on Stream I/O Using Semantic Interpretations -- Craig Interpolation for Linear Temporal Languages -- On Model Checking Boolean BI -- Efficient Type-Checking for Amortised Heap-Space Analysis -- Deciding the Inductive Validity of ????* Queries -- On the Parameterised Intractability of Monadic Second-Order Logic -- Automatic Structures of Bounded Degree Revisited -- Nondeterminism and Observable Sequentiality -- A Decidable Spatial Logic with Cone-Shaped Cardinal Directions -- Focalisation and Classical Realisability -- Decidable Extensions of Church’s Problem -- Nested Hoare Triples and Frame Rules for Higher-Order Store -- A Complete Characterization of Observational Equivalence in Polymorphic ?-Calculus with General References -- Non-Commutative First-Order Sequent Calculus -- Model Checking FO(R) over One-Counter Processes and beyond -- Confluence of Pure Differential Nets with Promotion -- Decision Problems for Nash Equilibria in Stochastic Games -- On the Complexity of Branching-Time Logics -- Nominal Domain Theory for Concurrency -- The Ackermann Award 2009. |
| Record Nr. | UNISA-996465668403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer science logic : 23rd international workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, proceedings / / Erich Gradel, Reinhard Kahle (eds.)
| Computer science logic : 23rd international workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, proceedings / / Erich Gradel, Reinhard Kahle (eds.) |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg, : Springer-Verlag, 2009 |
| Descrizione fisica | 1 online resource (XI, 567 p.) |
| Disciplina | 004.015113 |
| Altri autori (Persone) |
GradelErich
KahleReinhard |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Algebra - Data processing
Logic, Symbolic and mathematical |
| ISBN | 3-642-04027-6 |
| Classificazione |
DAT 540f
DAT 706f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Algebra for Tree Languages -- Forcing and Type Theory -- Functional Interpretations of Intuitionistic Linear Logic -- Fixed-Point Definability and Polynomial Time -- Special Invited Talk to Commemorate the Centenary of Stephen Cole Kleene -- Kleene’s Amazing Second Recursion Theorem -- Contributed Papers -- Typed Applicative Structures and Normalization by Evaluation for System F ? -- Jumping Boxes -- Tree-Width for First Order Formulae -- Algorithmic Analysis of Array-Accessing Programs -- Decidable Relationships between Consistency Notions for Constraint Satisfaction Problems -- Cardinality Quantifiers in MLO over Trees -- From Coinductive Proofs to Exact Real Arithmetic -- On the Relation between Sized-Types Based Termination and Semantic Labelling -- Expanding the Realm of Systematic Proof Theory -- EXPTIME Tableaux for the Coalgebraic ?-Calculus -- On the Word Problem for -Categories, and the Properties of Two-Way Communication -- Intersection, Universally Quantified, and Reference Types -- Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata -- Enriching an Effect Calculus with Linear Types -- Degrees of Undecidability in Term Rewriting -- Upper Bounds on Stream I/O Using Semantic Interpretations -- Craig Interpolation for Linear Temporal Languages -- On Model Checking Boolean BI -- Efficient Type-Checking for Amortised Heap-Space Analysis -- Deciding the Inductive Validity of ????* Queries -- On the Parameterised Intractability of Monadic Second-Order Logic -- Automatic Structures of Bounded Degree Revisited -- Nondeterminism and Observable Sequentiality -- A Decidable Spatial Logic with Cone-Shaped Cardinal Directions -- Focalisation and Classical Realisability -- Decidable Extensions of Church’s Problem -- Nested Hoare Triples and Frame Rules for Higher-Order Store -- A Complete Characterization of Observational Equivalence in Polymorphic ?-Calculus with General References -- Non-Commutative First-Order Sequent Calculus -- Model Checking FO(R) over One-Counter Processes and beyond -- Confluence of Pure Differential Nets with Promotion -- Decision Problems for Nash Equilibria in Stochastic Games -- On the Complexity of Branching-Time Logics -- Nominal Domain Theory for Concurrency -- The Ackermann Award 2009. |
| Record Nr. | UNINA-9910484799703321 |
| Berlin ; ; Heidelberg, : Springer-Verlag, 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Gentzen's centenary : the quest for consistency / / edited by Reinhard Kahle, Michael Rathjen
| Gentzen's centenary : the quest for consistency / / edited by Reinhard Kahle, Michael Rathjen |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (563 p.) |
| Disciplina | 510 |
| Soggetto topico |
Mathematical logic
Mathematical Logic and Foundations Mathematical Logic and Formal Languages |
| ISBN | 3-319-10103-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I Reflections -- Gentzen’s Consistency Proof in Context, Reinhard Kahle -- Gentzen’s Anti-Formalist Views, Michael Detlefsen -- The Use of Trustworthy Principles in a Revised Hilbert’s Program, Anton Setzer -- Part II Gentzen’s Consistency Proofs -- On Gentzen’s First Consistency Proof for Arithmetic, Wilfried Buchholz -- From Hauptsatz to Hilfssatz, Jan von Plato -- A Note on How to Extend Gentzen’s Second Consistency Proof to a Proof of Normalization for First Order Arithmetic, Dag Prawitz -- A Direct Gentzen-Style Consistency Proof for Heyting Arithmetic, Annika Siders -- Gentzen’s Original Consistency Proof and the Bar Theorem, W.W. Tait -- Goodstein’s Theorem Revisited, Michael Rathjen -- Part III Results -- Cut Elimination In Situ, Sam Buss -- Spector’s Proof of the Consistency of Analysis, Fernando Ferreira -- Climbing Mount ε_0, Herman Ruge Jervell -- Semi-Formal Calculi and Their Applications, Wolfram Pohlers -- Part IV Developments -- Proof Theory for Theories of Ordinals III: Π_N-Reflection, Toshiyasu Arai -- A Proof-Theoretic Analysis of Theories for Stratified Inductive Definitions, Gerhard Jäger and Dieter Probst -- Classifying Phase Transition Thresholds for Goodstein Sequences and Hydra Games, Frederik Meskens and Andreas Weiermann -- Non-deterministic Epsilon Substitution Method for PA and ID_1, Grigori Mints -- A Game-Theoretic Computational Interpretation of Proofs in Classical Analysis, Paulo Oliva and Thomas Powell -- Well-Ordering Principles and Bar Induction, Michael Rathjen and Pedro Francisco Valencia Vizcaíno. . |
| Record Nr. | UNINA-9910300250703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Legacy of Kurt Schütte [[electronic resource] /] / edited by Reinhard Kahle, Michael Rathjen
| The Legacy of Kurt Schütte [[electronic resource] /] / edited by Reinhard Kahle, Michael Rathjen |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XIX, 502 p. 2 illus.) |
| Disciplina | 510.922 |
| Soggetto topico |
Mathematical logic
Logic Mathematical Logic and Foundations Mathematical Logic and Formal Languages |
| ISBN | 3-030-49424-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- List of Contributors -- Part I History and Memories -- Part II Proof Theory at Work -- Part III Further Legacy -- Part IV Kurt Schüttes Spätwerk. |
| Record Nr. | UNISA-996418268203316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
The Legacy of Kurt Schütte / / edited by Reinhard Kahle, Michael Rathjen
| The Legacy of Kurt Schütte / / edited by Reinhard Kahle, Michael Rathjen |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XIX, 502 p. 2 illus.) |
| Disciplina | 510.922 |
| Soggetto topico |
Mathematical logic
Logic Mathematical Logic and Foundations Mathematical Logic and Formal Languages |
| ISBN | 3-030-49424-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- List of Contributors -- Part I History and Memories -- Part II Proof Theory at Work -- Part III Further Legacy -- Part IV Kurt Schüttes Spätwerk. |
| Record Nr. | UNINA-9910484580603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Limits of AI - theoretical, practical, ethical / / by Klaus Mainzer, Reinhard Kahle
| Limits of AI - theoretical, practical, ethical / / by Klaus Mainzer, Reinhard Kahle |
| Autore | Mainzer Klaus |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (167 pages) |
| Disciplina | 060 |
| Collana | Technik im Fokus |
| Soggetto topico |
Artificial intelligence
Computational intelligence Engineering mathematics Engineering - Data processing Artificial Intelligence Computational Intelligence Mathematical and Computational Engineering Applications |
| ISBN | 3-662-68290-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Concept of Artificial Intelligence -- Practical limits -- Theoretical limits -- Conceptual boundaries -- Prospects for Hybrid AI -- Bibliography. |
| Record Nr. | UNINA-9910847083903321 |
Mainzer Klaus
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proof Theory in Computer Science [[electronic resource] ] : International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings / / edited by Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk
| Proof Theory in Computer Science [[electronic resource] ] : International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings / / edited by Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (X, 246 p.) |
| Disciplina | 004/.01/5113 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Programming languages (Electronic computers)
Mathematical logic Artificial intelligence Computer logic Algorithms Programming Languages, Compilers, Interpreters Mathematical Logic and Foundations Artificial Intelligence Mathematical Logic and Formal Languages Logics and Meanings of Programs Algorithm Analysis and Problem Complexity |
| ISBN | 3-540-45504-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Linear Ramified Higher Type Recursion and Parallel Complexity -- Reflective ?-Calculus -- A Note on the Proof-Theoretic Strength of a Single Application of the Schema of Identity -- Comparing the Complexity of Cut-Elimination Methods -- Program Extraction from Gentzen’s Proof of Transfinite Induction up to ?0 -- Coherent Bicartesian and Sesquicartesian Categories -- Indexed Induction-Recursion -- Modeling Meta-logical Features in a Calculus with Frozen Variables -- Proof Theory and Post-turing Analysis -- Interpolation for Natural Deduction with Generalized Eliminations -- Implicit Characterizations of Pspace -- Iterate logic -- Constructive Foundations for Featherweight Java. |
| Record Nr. | UNISA-996465826903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
