A decision procedure for Fitch's propositional calculus

Notre Dame Journal of Formal Logic 8 (1-2):101-117 (1967)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093956248

Other Versions

No versions found

Links

PhilArchive



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

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

A note on propositional calculus.Shalom Rosenberg - 1972 - Notre Dame Journal of Formal Logic 13 (4):506-510.
A generalised propositional calculus.Peter Jablon - 1975 - Notre Dame Journal of Formal Logic 16 (2):295-297.
A formal system for the non-theorems of the propositional calculus.Xavier Caicedo Ferrer - 1978 - Notre Dame Journal of Formal Logic 19 (1):147-151.
A propositional calculus intermediate between the minimal calculus and the classical.Charles Parsons - 1966 - Notre Dame Journal of Formal Logic 7 (4):353-358.
A formal system for the non-theorems of the propositional calculus.Xavier Caicedo - 1978 - Notre Dame Journal of Formal Logic 19:147.
Completeness of the generalized propositional calculus.Alexander Abian - 1970 - Notre Dame Journal of Formal Logic 11 (4):449-452.
Leibniz's syllogistico-propositional calculus.Hector-Neri Casta Neda - 1976 - Notre Dame Journal of Formal Logic 17 (4):481-500.
Notes on the axiomatics of the propositional calculus.C. A. Meredith & A. N. Prior - 1963 - Notre Dame Journal of Formal Logic 4 (3):171-187.
Proof routines for the propositional calculus.Hugues Leblanc - 1963 - Notre Dame Journal of Formal Logic 4 (2):81-104.
Note on duality in propositional calculus.Chandler Works & Wolfgang Yourgrau - 1968 - Notre Dame Journal of Formal Logic 9 (3):284-288.

Analytics

Added to PP
2010-08-24

Downloads
28 (#806,304)

6 months
11 (#359,362)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Richmond Thomason
University of Michigan, Ann Arbor

Citations of this work

Add more citations

References found in this work

No references found.

Add more references