登入
選單
返回
Google圖書搜尋
Logica Universalis
Jean-Yves Beziau
其他書名
Towards a General Theory of Logic
出版
Birkhũser-Verlag
, 2005-03-22
主題
Computers / Computer Science
Computers / Logic Design
Computers / Programming / Algorithms
Mathematics / General
Mathematics / Discrete Mathematics
Mathematics / History & Philosophy
Mathematics / Logic
ISBN
3764372591
9783764372590
URL
http://books.google.com.hk/books?id=FunuAAAAMAAJ&hl=&source=gbs_api
註釋
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.