Logica Universalis: Towards a General Theory of Logic
Springer Science & Business Media, Mar 22, 2005 - Mathematics - 228 pages
Universal Logic is not a new logic, but a general theory of logics, considered as mathematical structures. The name was introduced about ten years ago, but the subject is as old as the beginning of modern logic. It was revived after the flowering of thousands of new logics during the last thirty years: there was a need for a systematic theory of logics to put some order in this chaotic multiplicity.
What people are saying - Write a review
A Survey of General Abstract Logic
Abstract Model Theory as a Framework for Universal Logic
ModelTheoretical Abstract Logics
Self extensional Logics with Implication
Logic without SelfDeductibility
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
Nondeterministic Matrices and Modular Semantics of Rules
The Humbug of Many Logical Values
Logical Friendliness and Sympathy