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.
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 | ||
| ||
