Graduate studies at Western
J. Y. Beziau (ed.)
Birkhäuser Verlog (2005)
|Abstract||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|
No categories specified
(categorize this paper)
|Call number||QA9.2.L64 2005|
|External links||This entry has no external links. Add one.|
|Through your library||Configure|
Similar books and articles
J. P. Cleave (1991). A Study of Logics. Oxford University Press.
Diderik Batens (2007). A Universal Logic Approach to Adaptive Logics. Logica Universalis 1 (1):221-242.
Steffen Lewitzka (2007). Abstract Logics, Logic Maps, and Logic Homomorphisms. Logica Universalis 1 (2):243-276.
Vladimir L. Vasyukov (2007). Structuring the Universe of Universal Logic. Logica Universalis 1 (2):277-294.
Wilfrid Hodges (ed.) (1996). Logic: From Foundation to Applications: European Logic Colloquium. Oxford University Press.
Minghui Ma (2010). Toward Model-Theoretic Modal Logics. Frontiers of Philosophy in China 5 (2):294-311.
Hao Wang (1981/1993). Popular Lectures on Mathematical Logic. Dover Publications.
Juliana Bueno-Soler (2010). Two Semantical Approaches to Paraconsistent Modalities. Logica Universalis 4 (1):137-160.
Siegfried Gottwald (2008). Mathematical Fuzzy Logics. Bulletin of Symbolic Logic 14 (2):210-239.
Anuj Dawar & Yuri Gurevich (2002). Fixed Point Logics. Bulletin of Symbolic Logic 8 (1):65-88.
Lauri Hella, Phokion G. Kolaitis & Kerkko Luosto (1996). Almost Everywhere Equivalence of Logics in Finite Model Theory. Bulletin of Symbolic Logic 2 (4):422-443.
Sorry, there are not enough data points to plot this chart.
Added to index2011-07-21
Recent downloads (6 months)0
How can I increase my downloads?