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.
First-Order Schemata and Inductive Proof Analysis / / by Alexander Leitsch, David Michael Cerna, Anela Lolic
| First-Order Schemata and Inductive Proof Analysis / / by Alexander Leitsch, David Michael Cerna, Anela Lolic |
| Autore | Leitsch Alexander |
| Edizione | [1st ed. 2026.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Birkhäuser, , 2026 |
| Descrizione fisica | 1 online resource (427 pages) |
| Disciplina | 004.0151 |
| Altri autori (Persone) |
CernaDavid Michael
LolicAnela |
| Collana | Computer Science Foundations and Applied Logic |
| Soggetto topico |
Computer science
Logic, Symbolic and mathematical Computational complexity Reasoning Set theory Computer Science Logic and Foundations of Programming Mathematical Logic and Foundations Computational Complexity Formal Reasoning Set Theory |
| ISBN | 3-032-05741-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Introduction -- 2. Schemata and Point Transition Systems -- 3. Term schemata and formula schemata -- 4. Term Schemata and Unification -- 5. Proof schemata -- 6. Proof schemata and arithmetic -- 7. Cut-Elimination and the Method CERES -- 8. Schematic CERES (completely new - improves former publications) -- 9. An Application of Schematic CERES -- 10. Schematic Reasoning in GAPT -- 11. Conclusion. |
| Record Nr. | UNINA-9911049197703321 |
Leitsch Alexander
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Birkhäuser, , 2026 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Genesis of Logic : Reflections on the Origins, Principles and Paths of Common-sense Reasoning / / by Enric Trillas
| The Genesis of Logic : Reflections on the Origins, Principles and Paths of Common-sense Reasoning / / by Enric Trillas |
| Autore | Trillas E (Enric) |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (119 pages) |
| Disciplina | 658.4038 |
| Altri autori (Persone) | PortmannEdy |
| Collana | Fuzzy Management Methods |
| Soggetto topico |
Business information services
Logic Reasoning Business Information Systems Formal Reasoning |
| ISBN |
9783031550409
3031550404 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Introduction -- Part I: The Skeleton of Reason -- 2. A formal skeleton of reason -- 3. Reason in light of the skeleton -- Part II: The Model of Precise Reasoning -- 4. Boolean algebras come with lots of laws -- 5. With fewer laws: ortho-lattices and De Morgan algebras -- 6. Conjectures on ortho-lattices and De Morgan algebras -- Part III: Models of Imprecise Reasoning -- 7. Meanings and calculations using imprecise concepts -- 8. Fuzzy basic algebras, with fewer and more laws -- 9. On truth and its relationship with inference -- Part iv: Reasoning and Meaning -- 10. The effective possibility of reasoning -- 11. Last comments and conclusion. |
| Record Nr. | UNINA-9910864180103321 |
|
Trillas E (Enric)
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Simple Type Theory : A Practical Logic for Expressing and Reasoning About Mathematical Ideas / / by William M. Farmer
| Simple Type Theory : A Practical Logic for Expressing and Reasoning About Mathematical Ideas / / by William M. Farmer |
| Autore | Farmer William M |
| Edizione | [2nd ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Birkhäuser, , 2025 |
| Descrizione fisica | 1 online resource (XXIX, 319 p. 11 illus., 5 illus. in color.) |
| Disciplina | 004.0151 |
| Collana | Computer Science Foundations and Applied Logic |
| Soggetto topico |
Computer science
Set theory Mathematical logic Computational complexity Reasoning Computer Science Logic and Foundations of Programming Set Theory Mathematical Logic and Foundations Computational Complexity Formal Reasoning |
| ISBN | 3-031-85352-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1 Introduction -- Chapter 2 Answers to Readers’ Questions -- Chapter 3 Preliminary Concepts -- Chapter 4 Syntax -- Chapter 5 Semantics -- Chapter 6 Additional Notation -- Chapter 7 Beta-reduction and Substitution -- Chapter 8 Proof Systems -- Chapter 9 Theories -- Chapter 10 Inductive Sets and Types -- Chapter 11 Sequences -- Chapter 12 Developments -- Chapter 13 Real Number Mathematics -- Chapter 14 Morphisms -- Chapter 15 Alonzo Variants -- Chapter 16 Software Support. |
| Record Nr. | UNINA-9910999687703321 |
|
Farmer William M
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Birkhäuser, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Simple Type Theory : A Practical Logic for Expressing and Reasoning About Mathematical Ideas / / by William M. Farmer
| Simple Type Theory : A Practical Logic for Expressing and Reasoning About Mathematical Ideas / / by William M. Farmer |
| Autore | Farmer William Michael |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2023 |
| Descrizione fisica | 1 online resource (309 pages) |
| Disciplina |
004.0151
511.3 |
| Collana | Computer Science Foundations and Applied Logic |
| Soggetto topico |
Computer science
Logic, Symbolic and mathematical Computational complexity Reasoning Set theory Computer Science Logic and Foundations of Programming Mathematical Logic and Foundations Computational Complexity Formal Reasoning Set Theory |
| ISBN |
9783031211126
9783031211119 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1 Introduction -- 2 Answers to Readers’ Questions -- 3 Preliminary Concepts -- 4 Syntax -- 5 Semantics -- 6 Additional Notation -- 7 Beta-reduction and Substitution -- 8 Proof Systems -- 9 Theories -- 10 Sequences -- 11 Developments -- 12 Real Number Mathematics -- 13 Morphisms 14 Alonzo Variants -- 15 Software Support. |
| Record Nr. | UNINA-9910639881303321 |
|
Farmer William Michael
|
||
| Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
