Ryszard Wójcicki. Theory of logical calculi. Basis theory of consequence operations. Synthese library, vol. 199. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1988, xviii + 473 pp [Book Review]

Journal of Symbolic Logic 55 (3):1324-1326 (1990)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274502

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,607

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

Melvin Fitting and Richard L. Mendelsohn. First-order modal logic. Synthese library, vol. 277. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1998, xii + 287 pp. [REVIEW]Roderic A. Girle - 2002 - Bulletin of Symbolic Logic 8 (3):429-431.
Richard L. Tieszen. Mathematical intuition. Phenomenology and mathematical knowledge. Synthese library, vol. 203. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1989, xv + 209 pp. [REVIEW]Guillermo E. Rosado Haddock - 1991 - Journal of Symbolic Logic 56 (1):356-360.
Defeasible deontic logic, edited by Nute Donald, Synthese library, vol. 263, Kluwer Academic Publishers, Dordrecht, Boston, and London, 1997, x + 354 pp. [REVIEW]Wiebe Van Der Hoek - 2000 - Bulletin of Symbolic Logic 6 (1):89-94.
Paśniczek Jacek. The logic of intentional objects. A Meinongian version of classical logic. Synthese library, vol. 269. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1998, vii + 212 pp. [REVIEW]Dale Jacquette - 1999 - Journal of Symbolic Logic 64 (4):1847-1849.
Andrews Peter B.. An introduction to mathematical logic and type theory: to truth through proof. Applied logic series, vol. 27. Kluwer Academic Publishers, Dordrecht, Boston, and London, 2002, xviii+ 390 pp. [REVIEW]Mitsuru Yasuhara - 2003 - Bulletin of Symbolic Logic 9 (3):408-408.
Tomasz Placek. Mathematical intuitionism and intersubjectivity. A critical exposition of arguments for intuitionism. Synthese library, vol. 279. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1999, xii + 218 pp. [REVIEW]Leon Horsten - 2002 - Bulletin of Symbolic Logic 8 (4):518-520.
Prakken Henry. Logical tools for modelling legal argument. A study of defeasible reasoning in law. Law and philosophy library, vol. 32. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1997, xiii + 314 pp. [REVIEW]R. P. Loui - 1999 - Journal of Symbolic Logic 64 (4):1840-1841.
van Benthem Johan. The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse. Second edition of LII 874. Synthese library, vol. 156. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1991, xxii + 280 pp. [REVIEW]Steven T. Kuhn - 1992 - Journal of Symbolic Logic 57 (3):1137-1138.
Proof theory of modal logic, edited by Heinrich Wansing, Applied logic series, vol. 2, Kluwer Academic Publishers, Dordrecht, Boston, and London, 1996, x + 317 pp. [REVIEW]Melvin Fitting - 1999 - Journal of Symbolic Logic 64 (4):1825-1828.
Norman M. Martin and Stephen Pollard. Closure spaces and logic. Mathematics and its applications, vol. 369. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1996, xvii + 230 pp. [REVIEW]Stephen L. Bloom - 1997 - Journal of Symbolic Logic 62 (2):685-686.

Analytics

Added to PP
2013-11-03

Downloads
51 (#421,935)

6 months
7 (#673,909)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Intertranslatability, Theoretical Equivalence, and Perversion.Jack Woods - 2018 - Thought: A Journal of Philosophy 7 (1):58-68.
Characterizing Belnap's Logic via De Morgan's Laws.Alexej P. Pynko - 1995 - Mathematical Logic Quarterly 41 (4):442-454.
Note on algebraic models for relevance logic.Josep M. Font & Gonzalo Rodríguez - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (6):535-540.

View all 15 citations / Add more citations

References found in this work

No references found.

Add more references