Trends in Logic

by Hendricks, Vincent F.; Malinowski, Jacek

• ISBN13: 9781402016011
• ISBN10: 1402016018
• Format: Hardcover
• Copyright: 2003-11-01
• Publisher: Kluwer Academic Pub

Summary

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. The Anniversary volume offers contributions from J. van Benthem, W. Buszkowski, M.L. Dalla Chiara, M. Fitting, J.M. Font, R. Giuntini, R. Goldblatt, V. Marra, D. Mundici, R. Leporini, S.P. Odintsov, H. Ono, G. Priest, H. Wansing, V.R. Wojcicki and J. Zygmunt.

Table of Contents

Preface	vii
V.F. HENDRICKS, and J. MALINOWSKI
50 Years of Studia Logica: Editorial Introduction	1	(10)
V.R. WÓJCICKI, and J. ZYGMUNT
Polish Logic in Post war Period	11	(24)
J. VAN BENTHEM
Fifty Years: Changes and Constants in Logic	35	(22)
J.M. FONT
Generalized Matrices in Abstract Algebraic Logic	57	(30)
M. FITTING
Intensional Logic-Beyond First Order	87	(22)
R. GOLDBLATT
Questions of Canonicity	109	(36)
V. MARRA and D. MUNDICI
Lukasiewicz Logic and Changs MV Algebras in Action	145	(48)
H. ONO
Substructural Logics and Residuated Lattices an Introduction	193	(36)
M.L. DALLA CHIARA, R. GIUNTINI, and R. LEPORINI
Quantum Computational Logics: A Survey	229	(44)
G. PRIEST
Inconsistent Arithmetics: Issues Technical and Philosophical	273	(28)
S.P. ODINTSOV and H. WANSING
Inconsistency-tolerant Description Logic: Motivation and Basic Systems	301	(36)
W. BUSZKOWSKI
Type Logics in Grammar	337