What is a Logical System?: 4 - Rilegato

Rilegato

ISBN 10: 0198538596 ISBN 13: 9780198538592

Casa editrice: Clarendon Press, 1994

Riassunto

This extraordinary collection of papers addresses a fundamental question of logic and computation. "What is a logical system?". With contributions from many world famous researchers, it presents a wide spectrum of views on the problem, reflecting mainstream current approaches to logic and how it is applied.

Su questo libro

Contenuti

• 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?

Dettagli dell'edizione

• Editore: Clarendon Press
• Data di pubblicazione: 1994
• Lingua: Inglese
• ISBN 10: 0198538596
• ISBN 13: 9780198538592
• Rilegatura: Copertina rigida
• Numero di pagine: 464
• Redattore: Gabbay D. M.
• Contatto del produttore: Messaggerie Libri; ufficio.anagrafiche@meli.it; ; Via Verdi, 8.; Assago Milano; 20090; Italia