Brewka Gerhard. Nonmonotonic reasoning: logical foundations of commonsense. Cambridge tracts in theoretical computer science, no. 12. Cambridge University Press, Cambridge etc. 1991, xiii + 168 pp [Book Review]

Journal of Symbolic Logic 58 (3):1079-1080 (1993)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2275118

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,709

External links

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

Through your library

My notes

Similar books and articles

Review: Gerhard Brewka, Nonmonotonic Reasoning: Logical Foundations of Commonsense. [REVIEW]Heinrich Herre - 1993 - Journal of Symbolic Logic 58 (3):1079-1080.
Nonmonotonic reasoning: logical foundations of commonsense.Gerhard Brewka (ed.) - 1991 - New York: Cambridge University Press.
Ramsay Allan. Formal methods in artificial intelligence. Cambridge tracts in theoretical computer science, no. 6. Cambridge University Press, Cambridge etc. 1988, ix + 279 pp. [REVIEW]Francis Jeffry Pelletier - 1996 - Journal of Symbolic Logic 61 (1):347-351.
A. S. Troelstra and H. Schwichtenberg. Basic proof theory. Cambridge tracts in theoretical computer science, no. 43. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1996, xi + 343 pp. [REVIEW]Roy Dyckhoff - 1998 - Journal of Symbolic Logic 63 (4):1605-1606.
Simmons Harold. Derivation and computation. Taking the Curry-Howard correspondence seriously. Cambridge tracts in theoretical computer science, vol. 51. Cambridge University Press, Cambridge, New York, etc., 2000, xxv + 384 pp. [REVIEW]Norman Danner - 2001 - Bulletin of Symbolic Logic 7 (3):380-383.
Hindley J. Roger. Basic simple type theory. Cambridge tracts in theoretical computer science, no. 42. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1997, xi + 186 pp. [REVIEW]Anton Setzer - 1999 - Journal of Symbolic Logic 64 (4):1832-1833.
Essay Review.Howard H. Harriott - 1996 - History and Philosophy of Logic 17 (1-2):223-240.
Manzano María. Extensions of first order logic. Cambridge tracts in theoretical computer science, no. 19. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1996, xxii + 388 pp. [REVIEW]Yde Venema - 1998 - Journal of Symbolic Logic 63 (3):1194-1196.
Bundy Alan, Basin David, Hutter Dieter and Ireland Andrew. Rippling: meta-level guidance for mathematical reasoning. Cambridge Tracts in Theoretical Computer Science, vol. 56. Cambridge University Press, 2005, xiv+ 202 pp. [REVIEW]Joe Hurd - 2006 - Bulletin of Symbolic Logic 12 (3):498-499.
Carver, Terrell, ed. The Cambridge Companion to Marx. Cambridge: Cambridge University Press, 1991. Pp. xiii+ 357. $17.95 (paper). [REVIEW]Marcia Cavell - 1994 - In Peter Singer (ed.), Ethics. New York: Oxford University Press.
Jonathan Hodge and Gregory Radick , The Cambridge Companion to Darwin, Second Edition. Cambridge: Cambridge University Press, 2009. Pp. xiii+548. ISBN 978-0-521-71184-5. £19.99 .Michael Ruse and Robert J. Richards , The Cambridge Companion to the ‘Origin of Species’. Cambridge: Cambridge University Press, 2009. Pp. xxvii+395. ISBN 978-0-521-87079-5. £45.00. [REVIEW]Thierry Hoquet - 2010 - British Journal for the History of Science 43 (1):127-128.
Cambridge: Cambridge University Press, 1990. Daniel Vanderveken, Meaning and Speech Acts, vol. 2, Formal Semantics of Success and Satisfaction. Cambridge: Cambridge University Press, 1991. [REVIEW]Eckard Rolf - 1995 - Semiotica 104 (3/4):277-285.
Robert P. McIntosh. The Background of Ecology. Concept and Theory. Cambridge: Cambridge University Press, 1985. Pp. xiii + 383. ISBN 0-521-24935-X. £30.00, $39.50. [REVIEW]Gerhard H. Müller - 1987 - British Journal for the History of Science 20 (1):111-113.
Fremlin D. H.. Consequences of Martin's axiom. Cambridge tracts in mathematics, no. 84. Cambridge University Press, Cambridge etc. 1984, xii + 325 pp. [REVIEW]William Weiss - 1988 - Journal of Symbolic Logic 53 (2):650-651.
Book Reviews : Geoffrey Hawthorn, Plausible Worlds: Possibility and Understanding in History and the Social Sciences. Cambridge University Press, Cambridge, 1991. Pp. 206. $44.50 (cloth). G. R. Elton, Return to Essentials: Some Reflections on the Present State of Historical Study. Cambridge University Press, Cambridge, 1991. Pp. 136. $29.95 (cloth). [REVIEW]C. Behan McCullagh - 1995 - Philosophy of the Social Sciences 25 (4):523-535.

Analytics

Added to PP
2016-06-30

Downloads
23 (#679,329)

6 months
4 (#778,909)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Heinrich Herre
Universität Leipzig

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references