1: Ian Hacking: What is logic 2: Robert Kowalski: Logic without model theory 3: John Barwise and Eric Hammer: Diagrams and the concept of logical system 4: Johan Van Bentham: General dynamics 5: Jim Lambek: What is a deductive system 6: Neil Tennent: The transmission of truth and the transmitting of abduction 7: D.M. Gabbay: What is a logical system? 8: Arnon Avron: What is a logical system? 9: C. Crocco and L. Farinas del Cerro: Structure, consequence relation 10: Peter Aczel: Schematic consequence 11: Kosta Dosen: Logical constants and punctuation marks 12: Solomon Feferman: Finitary inductively presented logics 13: Sean Matthews: A-theory and its metatheory in FSo 14: Narciso Marti-Oliet and Jose Meseguer: General logics and logical frameworks 15: I. Nemeti and A. Andreka: General algebraic logic, a perspective on What is Logic?
"The papers present a wealth of logical systems as well as of
general frameworks for the study of such systems."--Journal of
Symbolic Logic
![]() |
Ask a Question About this Product More... |
![]() |