Buch, Englisch, 464 Seiten, Print PDF, Format (B × H): 157 mm x 235 mm, Gewicht: 905 g
Buch, Englisch, 464 Seiten, Print PDF, Format (B × H): 157 mm x 235 mm, Gewicht: 905 g
ISBN: 978-0-19-853859-2
Verlag: OUP Oxford
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.
Autoren/Hrsg.
Fachgebiete
Weitere Infos & Material
- 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?
