D. M. Gabbay (ed.)

What Is a Logical System?

Herausgeber: Gabbay, D. M.

• Gebundenes Buch

Produktbeschreibung

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.

Produktdetails

• Verlag: OUP Oxford
• Seitenzahl: 468
• Erscheinungstermin: 1. Oktober 1996
• Englisch
• Abmessung: 235mm x 157mm x 32mm
• Gewicht: 905g
• ISBN-13: 9780198538592
• ISBN-10: 0198538596
• Artikelnr.: 20976034

Inhaltsangabe

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