What is a logical system?

New York: Oxford University Press (1994)
  Copy   BIBTEX

Abstract

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 89,654

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

A first course in formal logic and its applications in computer science.Roy Dowsing - 1986 - Boston: Blackwell Scientific Publications. Edited by V. J. Rayward-Smith & C. D. Walter.
Modern logic: a text in elementary symbolic logic.Graeme Forbes - 1994 - New York: Oxford University Press.
Linear logic in computer science.Thomas Ehrhard (ed.) - 2004 - New York: Cambridge University Press.
Mathematical logic for computer science.M. Ben-Ari - 1993 - New York: Prentice-Hall.
Logic for computer scientists.Uwe Schöning - 1989 - Boston: Birkhäuser.
Symbolic logic.John Venn - 1894 - New York,: B. Franklin.
Fibring logics.Dov M. Gabbay - 1999 - New York: Clarendon Press.
A study of logics.John P. Cleave - 1991 - New York: Oxford University Press.

Analytics

Added to PP
2009-01-28

Downloads
94 (#165,696)

6 months
11 (#126,565)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Dov Gabbay
Hebrew University of Jerusalem

References found in this work

No references found.

Add more references