What is a Logical System?
Dov M. Gabbay
Clarendon Press, 1994 - Computers - 454 pages
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.
What people are saying - Write a review
JSTOR: What is a Logical System?
What is a logical system? edited by dm Gabbay, Studies in logic and computation, no. 4, Clarendon Press, Oxford University Press, Oxford 1994, ...
Review: dm Gabbay, What is a Logical System?
dm Gabbay, What is a Logical System?. Full-text: Access via JSTOR (no additional login). Go to this article in JSTOR. Links and Identifiers ...
projecteuclid.org/ handle/ euclid.jsl/ 1183745151
What is a logical system?
What is a logical system? table of contents. Pages: 454. Year of Publication: 1994. ISBN:0-19-853859-6. Editor. Dov M. Gabbay, Imperial College of Science, ...
Logic without Model Theory - Kowalski (researchindex)
In Dov Gabbay, editor, What is a logical system?, chapter 2, pages 35--71. 1994. (Also at http://wwwlp. doc.ic.ac.uk/ lp/Kowalski/models.ps). ...
Arnon AVRON, Ph.D.
In What is a Logical System (D. Gabbay, ed.), Studies in Logic and. Computation, Vol. 4, 217-238, Oxford University Press, 1994. 25. A. Avron, J. Hirshfeld ...
antares.math.tau.ac.il/ ~aa/ pub.pdf
Ta! Interview with Dov Gabbay
D. Reidel Publishing Company; Gabbay, D. 1994. `What is a Logical System' in Dov Gabbay (ed) What is a Logical System?. Oxford University Press ...
www.let.uu.nl/ ~anne-marie.mineur/ personal/ Ta/ Gabbay.html
Springer Online Reference Works
What is a Logical System , Clarendon Press (1994) pp. 355–392. [a25], jd Monk, "An introduction to cylindric set algebras" Logic J. IGPL , 8 : 4 (2000) pp. ...
eom.springer.de/ a/ a130180.htm
Is There A Logic Of Confirmation Transfer?
namely, what is a logical system? More exactly, we ask whether satisfaction of formal. constraints is sufficient for a relation to be considered a (logical) ...
www.springerlink.com/ index/ X271526556704574.pdf
dm Gabbay Publications List By Type 24 September 07
What is a Logical System? In What is a Logical System?, dm Gabbay, .... What is a Logical System, 2? In Proceedings of the 1999 Conference of the Society of ...
www.dcs.kcl.ac.uk/ staff/ dg/ PubsType240907.pdf
Consequence, Counterparts and Substitution
What Is a Logical System?, Oxford: Oxford University Press, 1994, 107-39.  J. van Benthem, Exploring Logical Dynamics, CSLI Publications, Stanford, 1996. ...