Nantilus
Logica Universalis : Towards a General Theory of Logic
"I find this book extremely useful and important, because it signifies the arrival of a new renaissance in logic, a new revival not only of logic, but of the vision of logic as a unifying tool for science as a whole, including mathematics, physics, cosmology, computer science and AI. The book a...
Enregistré dans:
| Auteur principal : | |
|---|---|
| Format : | Livre |
| Langue : | anglais |
| Titre complet : | Logica Universalis : Towards a General Theory of Logic / Jean-Yves Beziau Editor |
| Publié : |
Basel :
Birkhäuser Basel
, [20..] Cham : Springer Nature |
| Accès en ligne : |
Accès Nantes Université
Accès direct soit depuis les campus via le réseau ou le wifi eduroam soit à distance avec un compte @etu.univ-nantes.fr ou @univ-nantes.fr |
| Note sur l'URL : | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex |
| Condition d'utilisation et de reproduction : | Conditions particulières de réutilisation pour les bénéficiaires des licences nationales : https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 |
| Reproduction de : | Version numérique de la seconde édition |
| Contenu : | Universal Logic: Frameworks and Structures. From Consequence Operator to Universal Logic: A Survey of General Abstract Logic. Abstract Model Theory as a Framework for Universal Logic. A Topological Approach to Universal Logic: Model-Theoretical Abstract Logics. Selfextensional Logics with Implication. Logic without Self-Deductibility. Identity and Nature of Logical Structures. Equipollent Logical Systems. What is a Logic?. What is a Logic, and What is a Proof?. Tools and Concepts for Universal Logic. Non-deterministic Matrices and Modular Semantics of Rules. Two s Company: The Humbug of Many Logical Values. Friendliness and Sympathy in Logic. Logical Discrimination |
| Sujets : | |
| Documents associés : | Autre format:
Logica universalis |
| LEADER | 05210clm a2200697 4500 | ||
|---|---|---|---|
| 001 | PPN12372953X | ||
| 003 | http://www.sudoc.fr/12372953X | ||
| 005 | 20241001154800.0 | ||
| 010 | |a 978-3-7643-8354-1 | ||
| 017 | 7 | 0 | |a 10.1007/978-3-7643-8354-1 |2 DOI |
| 035 | |a (OCoLC)690454392 | ||
| 035 | |a Springer978-3-7643-8354-1 | ||
| 035 | |a Springer-11649-978-3-7643-8354-1 | ||
| 035 | |a SPRINGER_EBOOKS_LN_PLURI_10.1007/978-3-7643-8354-1 | ||
| 100 | |a 20080505f20 k y0frey0103 ba | ||
| 101 | 0 | |a eng |2 639-2 | |
| 102 | |a CH | ||
| 105 | |a a ||||000yy | ||
| 135 | |a dr||||||||||| | ||
| 181 | |6 z01 |c txt |2 rdacontent | ||
| 181 | 1 | |6 z01 |a i# |b xxxe## | |
| 182 | |6 z01 |c c |2 rdamedia | ||
| 182 | 1 | |6 z01 |a b | |
| 183 | |6 z01 |a ceb |2 RDAfrCarrier | ||
| 200 | 1 | |a Logica Universalis |e Towards a General Theory of Logic |f Jean-Yves Beziau Editor | |
| 214 | 0 | |a Basel |c Birkhäuser Basel | |
| 214 | 2 | |a Cham |c Springer Nature |d [20..] | |
| 303 | |a L'impression du document génère 246 p. | ||
| 320 | |a Notes bibliogr. | ||
| 324 | |a Version numérique de la seconde édition | ||
| 327 | 1 | |a Universal Logic: Frameworks and Structures |a From Consequence Operator to Universal Logic: A Survey of General Abstract Logic |a Abstract Model Theory as a Framework for Universal Logic |a A Topological Approach to Universal Logic: Model-Theoretical Abstract Logics |a Selfextensional Logics with Implication |a Logic without Self-Deductibility |a Identity and Nature of Logical Structures |a Equipollent Logical Systems |a What is a Logic? |a What is a Logic, and What is a Proof? |a Tools and Concepts for Universal Logic |a Non-deterministic Matrices and Modular Semantics of Rules |a Two s Company: The Humbug of Many Logical Values |a Friendliness and Sympathy in Logic |a Logical Discrimination | |
| 330 | |a "I find this book extremely useful and important, because it signifies the arrival of a new renaissance in logic, a new revival not only of logic, but of the vision of logic as a unifying tool for science as a whole, including mathematics, physics, cosmology, computer science and AI. The book and the vision behind it give logic, conceived as a scientific study of rationality, new unifying power, new perspectives, and new horizons." Istvan Németi, Hungarian Academy of Sciences "Modern logic has been intimately connected with algebra since its origins in figures such as Boole, De Morgan, and Peirce. But while universal algebra is a long recognized field, universal logic has only recently been named as such. This is perhaps because classical logic was until relatively recently taken by many as the "one true logic". But with the proliferation of special purpose non-classical logics in recent years, universal logic is clearly a field whose time has come. This book contains many excellent papers demonstrating the value of this approach." J. Michael Dunn, Indiana University "Modern logic is exploding into manifold applications, and its core research agenda is expanding accordingly. Thus, it becomes of great importance to reflect and rethink the notion of a logical system, which has served us so well for a century now. This book contains timely, broad, and unifying reflections on logical systems and logical consequence, and helps us think where our discipline is going." Johan van Benthem, University of Amsterdam & Stanford University | ||
| 371 | 0 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | |
| 371 | 0 | |a Accès soumis à abonnement pour tout autre établissement | |
| 371 | 1 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales |c https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | |
| 452 | | | |0 137428197 |t Logica universalis |o towards a general theory of logic |f Jean-Yves Beziau, editor |e 2nd ed. |c Basel |n Birkhäuer |d 2007 |p 1 vol. (x-246 p.) |y 978-3-7643-8353-4 | |
| 606 | |3 PPN027237869 |a Théorie des modèles |2 rameau | ||
| 606 | |3 PPN027662799 |a Logique mathématique |2 rameau | ||
| 610 | 1 | |a Mathematics | |
| 610 | 2 | |a Mathematical Logic and Foundations | |
| 610 | 2 | |a Mathematical Logic and Formal Languages | |
| 610 | 2 | |a Arithmetic and Logic Structures | |
| 615 | |a Mathematics and Statistics |n 11649 |2 Springer | ||
| 676 | |a 511.3 |v 23 | ||
| 680 | |a QA8.9-10.3 | ||
| 686 | |a 03B22 |c 2010 |2 msc | ||
| 686 | |a 03B50 |c 2010 |2 msc | ||
| 686 | |a 03C95 |c 2010 |2 msc | ||
| 686 | |a 03G10 |c 2010 |2 msc | ||
| 700 | 1 | |a Béziau |b Jean-Yves |f 1965-.... |4 340 | |
| 702 | 1 | |3 PPN057506663 |a Béziau |b Jean-Yves |f 1965-.... |4 340 | |
| 801 | 3 | |a FR |b Abes |c 20240911 |g AFNOR | |
| 801 | 1 | |a DE |b Springer |c 20190618 |g AACR2 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/978-3-7643-8354-1 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-0TVS23VQ-6 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 441099901:83084709X |u https://budistant.univ-nantes.fr/login?url=https://doi.org/10.1007/978-3-7643-8354-1 | |
| 915 | |5 441099901:83084709X |b SPRING18-00303 | ||
| 930 | |5 441099901:83084709X |b 441099901 |j g | ||
| 991 | |5 441099901:83084709X |a Exemplaire créé en masse par ITEM le 30-09-2024 16:00 | ||
| 997 | |a NUM |b SPRING18-00303 |d NUMpivo |e EM |s d | ||
| 998 | |a 977828 | ||