Beyond Rasiowa's Algebraic Approach to Non-classical Logics |
| |
Authors: | Josep Maria Font |
| |
Affiliation: | (1) Department of Probability, Logic and Statistics, Faculty of Mathematics, University of Barcelona, Gran Via 585, E-08007 Barcelona, Spain |
| |
Abstract: | This paper reviews the impact of Rasiowa's well-known book on the evolution of algebraic logic during the last thirty or forty years. It starts with some comments on the importance and influence of this book, highlighting some of the reasons for this influence, and some of its key points, mathematically speaking, concerning the general theory of algebraic logic, a theory nowadays called Abstract Algebraic Logic. Then, a consideration of the diverse ways in which these key points can be generalized allows us to survey some issues in the development of the field in the last twenty to thirty years. The last part of the paper reviews some recent lines of research that in some way transcend Rasiowa's approach. I hope in this way to give the reader a general view of Rasiowa's key position in the evolution of Algebraic Logic during the twentieth century. This paper is an extended version of the invited talk given by the author at the conference Trends in Logic III, dedicated to the memory of A. MOSTOWSKI, H. RASIOWA and C. RAUSZER, and held in Warsaw and Ruciane-Nida from 23rd to 25th September 2005. Presented by Jacek Malinowski |
| |
Keywords: | implicative logics equivalential logics algebraizable logics Abstract algebraic logic Leibniz hierarchy generalized matrices Gentzen systems Frege hierarchy |
本文献已被 SpringerLink 等数据库收录! |
|