Trends in logic : 50 years of Studia Logica
著者
書誌事項
Trends in logic : 50 years of Studia Logica
（Trends in logic : studia logica library, v. 21）
Kluwer Academic, c2003
大学図書館所蔵 全9件
注記
Includes bibliographical references
"The papers in this Anniversay volume are the results of the two conferences Trends in Logic - 50 Years of Studia Logica. The first conference took place at The Polish Academy of Sciences, Jabłonna, Poland, October 4-6, 2003 ... The second conference took place at The Carlsberg Academy, Copenhagen, Denmark, November 20-22, 2003..." - pref.
内容説明・目次
内容説明
In 1953, exactly 50 years ago to this day, the first volume of Studia Logica appeared under the auspices of The Philosophical Committee of The Polish Academy of Sciences. Now, five decades later the present volume is dedicated to a celebration of this 50th Anniversary of Studia Logica. The volume features a series of papers by distinguished scholars reflecting both the aim and scope of this journal for symbolic logic.
目次
- Preface. 50 Years of Studia Logica: Editorial Introduction
- V.F. Hendricks, J. Malinowski. Polish Logic in Post-war Period
- V.R. Wojcicki, J. Zygmunt. Fifty Years: Changes and Constants in Logic
- J. van Benthem. Generalized Matrices in Abstract Algebraic Logic
- J.M. Font. Intensional Logic Beyond First Order
- M. Fitting. Questions of Canonicity
- R. Goldblatt. Lukasiewicz Logic and Chang's MV Algebras in Action
- V. Marra, D. Mundici. Substructural Logics and Residuated Lattices: an Introduction
- H. Ono. Quantum Computational Logics: A Survey
- M.L. Dalla Chiara, R. Giuntini, R. Leporini. Inconsistent Arithmetics: Issues Technical and Philosophical
- G. Priest. Inconsistency-tolerant Description Logic: Motivation and Basic Systems
- S.P. Odintsov, H. Wansing. Type Logics in Grammar
- W. Buszkowski.
「Nielsen BookData」 より