D M Gabbay: What Is a Logical System?

Cover: 9780198538592 | What Is a Logical System? | D M Gabbay | Buch | Englisch | 1995

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

230,95 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 2-3 Wochen

Kategorien:

Der Artikel ist nicht in deutscher Sprache verfasst.
Die Sprache der Produktbeschreibung und Details kann in Englisch angegeben sein. Sollten Sie Verständnisprobleme haben, wenden Sie sich gerne an uns.

Beschreibung

This superb collection of papers focuses on a fundamental question in logic and computation: What is a logical system? With contributions from leading researchers--including Ian Hacking, Robert Kowalski, Jim Lambek, Neil Tennent, Arnon Avron, L. Farinas del Cerro, Kosta Dosen, and Solomon Feferman--the book presents a wide range of views on how to answer such a question, reflecting current, mainstream approaches to logic and its applications. Written to appeal to a diverse audience of readers, What is a Logical System? will excite discussion among students, teachers, and researchers in mathematics, logic, computer science, philosophy, and linguistics.

Inhaltsverzeichnis

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?

Details

Erscheinungsjahr:	1995
Genre:	Importe , Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Buch
ISBN-13:	9780198538592
ISBN-10:	0198538596
Sprache:	Englisch
Einband:	Gebunden
Redaktion:	Gabbay, D M
Hersteller:	Oxford University Press (UK)
Verantwortliche Person für die EU:	Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße:	235 x 160 x 34 mm
Von/Mit:	D M Gabbay
Erscheinungsdatum:	26.01.1995
Gewicht:	0,839 kg

Artikel-ID: 133175299

Inhaltsverzeichnis

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?

Details

Erscheinungsjahr:	1995
Genre:	Importe , Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Buch
ISBN-13:	9780198538592
ISBN-10:	0198538596
Sprache:	Englisch
Einband:	Gebunden
Redaktion:	Gabbay, D M
Hersteller:	Oxford University Press (UK)
Verantwortliche Person für die EU:	Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße:	235 x 160 x 34 mm
Von/Mit:	D M Gabbay
Erscheinungsdatum:	26.01.1995
Gewicht:	0,839 kg