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...
Kaydedildi:
| Yazar: | |
|---|---|
| Diğer Yazarlar: | |
| Materyal Türü: | Livre numérique |
| Dil: | Anglais |
| Baskı/Yayın Bilgisi: |
Basel :
Birkhäuser Basel
[20..].
Cham : Springer Nature |
| Konular: | |
| Online Erişim: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Not: |
L'impression du document génère 246 p. Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) Version numérique de la seconde édition |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Logica universalis, towards a general theory of logic, Jean-Yves Beziau, editor, 2nd ed., Basel, Birkhäuer, 2007, 1 vol. (x-246 p.), 978-3-7643-8353-4 |
İçindekiler:
- 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