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

Description complète

Enregistré dans:
Détails bibliographiques
Auteur principal : Béziau Jean-Yves (Éditeur scientifique)
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