What Is a Logical System? (Studies in Logic and Computation, 4)

ISBN 10: 0198538596 / ISBN 13: 9780198538592

Editore: Clarendon Press, 1995

Riguardo questo articolo

Connecting readers with great books since 1972. Used textbooks may not include companion materials such as access codes, etc. May have condition issues including wear and notes/highlighting. We ship orders daily and Customer Service is our top priority! Codice articolo S_360578949

Dati bibliografici

Titolo: What Is a Logical System? (Studies in Logic ...

Casa editrice: Clarendon Press

Data di pubblicazione: 1995

Legatura: hardcover

Condizione: Acceptable

Descrizione articolo

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.

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?