Automated Natural Deduction in Thinker

Studia Logica 60 (1):3-43 (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1023/a:1005035316026

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,296

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

Automated natural deduction in thinker.Francis Jeffry Pelletier - 1998 - Studia Logica 60 (1):3-43.
Francis Jeffry Pelletier, Parmenides, Plato and the Semantics of Not-Being. [REVIEW]Nicholas Denyer - 1993 - Philosophy in Review 13 (2):108-111.
Francis Jeffry Pelletier and John King-Farlow, eds., New Essays on Plato Reviewed by.Donald Zeyl - 1986 - Philosophy in Review 6 (2):79-81.
Mass Terms Some Philosophical Problems, Edited by Francis Jeffry Pelletier. --.Francis Jeffry Pelletier - 1979 - Holland, Boston, D. Reidel Pub. Co.
Mass Terms: Some Philosophical Problems. Edited by Francis Jeffry Pelletier. [REVIEW]Dennis A. Rohatyn - 1980 - Modern Schoolman 57 (4):374-375.
Proof Theory and Automated Deduction.Jörg Hudelmaier - 2000 - Studia Logica 65 (2):296-298.
Essay Review. [REVIEW]Víctor Sánchez Valencia - 1996 - History and Philosophy of Logic 17 (1 & 2):221-231.
New Essays in Philosophy of Language Francis Jeffry Pelletier and Calvin G. Normore, editors Guelph, Ontario: Canadian Association for Publishing in Philosophy, 1980. Pp. 223. $10.00. [REVIEW]Michael Stack - 1983 - Dialogue 22 (4):725-727.
Francis Jeffry Pelletier, John King-Farlow : New Essays on Plato. Pp. 183. Guelph, Ontario: Produced for the Canadian Association for Publishing in Philosophy by the University of Calgary Press, 1983. Paper, $13. [REVIEW]R. W. Jordan - 1986 - The Classical Review 36 (1):142-142.
Essay Review.Víctor Sánchez Valencia - 1996 - History and Philosophy of Logic 17 (1-2):221-231.

Analytics

Added to PP
2014-03-30

Downloads
2 (#1,819,493)

6 months
7 (#491,177)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The logic languages of the TPTP world.Geoff Sutcliffe - 2023 - Logic Journal of the IGPL 31 (6):1153-1169.

Add more citations

References found in this work

No references found.

Add more references