Logica Universalis: Towards a General Theory of Logic
Jean-Yves Béziau (ed.)
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: Alfred Tarski and other Polish logicians such as Adolf Lindenbaum developed a general theory of logics at the end of the 1920s based on consequence operations and logical matrices. The subject 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. This book contains recent works on universal logic by first-class researchers from all around the world. The book is full of new and challenging ideas that will guide the future of this exciting subject. It will be of interest for people who want to better understand what logic is. Tools and concepts are provided here for those who want to study classes of already existing logics or want to design and build new ones
|Keywords||Logic, Symbolic and mathematical Model theory|
|Categories||categorize this paper)|
|Call number||QA9.2.L64 2005|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Abstract Logics, Logic Maps, and Logic Homomorphisms.Steffen Lewitzka - 2007 - Logica Universalis 1 (2):243-276.
A Universal Logic Approach to Adaptive Logics.Diderik Batens - 2007 - Logica Universalis 1 (1):221-242.
Logic: From Foundation to Applications: European Logic Colloquium.Wilfrid Hodges (ed.) - 1996 - Oxford University Press.
Structuring the Universe of Universal Logic.Vladimir L. Vasyukov - 2007 - Logica Universalis 1 (2):277-294.
The Method of Hypersequents in the Proof Theory of Propositional Non-Classical Logics.Arnon Avron - unknown
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity.Shawn Hedman - 2004 - Oxford University Press.
The Prospects for Mathematical Logic in the Twenty-First Century.Samuel R. Buss, Alexander S. Kechris, Anand Pillay & Richard A. Shore - 2001 - Bulletin of Symbolic Logic 7 (2):169-196.
Introduction to Logic and to the Methodology of the Deductive Sciences.Alfred Tarski - 1941 - Oxford University Press.
Toward Model-Theoretic Modal Logics.Minghui Ma - 2010 - Frontiers of Philosophy in China 5 (2):294-311.
Mathematical Logic and Model Theory: A Brief Introduction.A. Prestel - 2011 - Springer.
Modern Logic: A Text in Elementary Symbolic Logic.Graeme Forbes - 1994 - Oxford University Press.
Sorry, there are not enough data points to plot this chart.
Added to index2011-06-02
Total downloads1 ( #885,439 of 2,171,974 )
Recent downloads (6 months)1 ( #326,556 of 2,171,974 )
How can I increase my downloads?