Logica Universalis Towards a General Theory of Logic /

Mostrar otras versiones (1)

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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Beziau, Jean-Yves (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Basel : Birkhäuser Basel : Imprint: Birkhäuser, 2007.
Edición:2nd ed. 2007.
Temas:
Mathematical logic.
Machine theory.
Computer arithmetic and logic units.
Mathematical Logic and Foundations.
Formal Languages and Automata Theory.
Arithmetic and Logic Structures.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares