Review of Witold Marciszewski and Roman Murawski: mechanization of reasoning in a historical perspective [Book Review]

Journal of Applied Non-Classical Logics 6 (3):287-288 (1996)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1080/11663081.1996.10510885

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,072

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

Mechanization of Reasoning in a Historical Perspective.Witold Marciszewski & Roman Murawski (eds.) - 1995 - Brill | Rodopi.
Modal logics for reasoning about infinite unions and intersections of binary relations.Natasha Alechina, Philippe Balbiani & Dmitry Shkatov - 2012 - Journal of Applied Non-Classical Logics 22 (4):275 - 294.
Equational Reasoning in Non-Classical Logics.Marcelo Frias & Ewa Orlowska - 1998 - Journal of Applied Non-Classical Logics 8 (1-2):27-66.
Internetowe szaty filozofii epoki informatycznej. [REVIEW]Paweł Jan Polak, Kamil Piotr Trombik & Roman Krzanowski - 2021 - Philosophical Problems in Science 70:251-259.
Reasoning without believing: on the mechanisation of presuppositions and partiality.Manfred Kerber & Michael Kohlhase - 2012 - Journal of Applied Non-Classical Logics 22 (4):295 - 317.
Temporal theories of reasoning.Joeri Engelfriet & Jan Treur - 1995 - Journal of Applied Non-Classical Logics 5 (1):97-119.
On consequence in approximate reasoning.J. L. Castro, E. Trillas & S. Cubillo - 1994 - Journal of Applied Non-Classical Logics 4 (1):91-103.
Reasoning under inconsistent knowledge.Walter Alexandre Carnielli & Mamede Lima-Marques - 1992 - Journal of Applied Non-Classical Logics 2 (1):49-79.
Plausible reasoning: a first-order approach.Silvana Badaloni & Alberto Zanardo - 1996 - Journal of Applied Non-Classical Logics 6 (3):215-261.
On the impact of stratification on the complexity of nonmonotonic reasoning.Ilkka Niemelä & Jussi Rintanen - 1994 - Journal of Applied Non-Classical Logics 4 (2):141-179.

Analytics

Added to PP
2014-01-21

Downloads
18 (#1,114,171)

6 months
8 (#588,629)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references