A tableau system of proof for predicate-functor logic with identity

Journal of Symbolic Logic 48 (4):1140-1144 (1983)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Other Versions

No versions found

Links

PhilArchive



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

External links

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

Through your library

Similar books and articles

The completeness of a predicate-functor logic.John Bacon - 1985 - Journal of Symbolic Logic 50 (4):903-926.
An axiomatization of predicate functor logic.Steven T. Kuhn - 1983 - Notre Dame Journal of Formal Logic 24 (2):233-241.
Actualism, Serious Actualism, and Quantified Modal Logic.William H. Hanson - 2018 - Notre Dame Journal of Formal Logic 59 (2):233-284.
Decidability of Fluted Logic with Identity.William C. Purdy - 1996 - Notre Dame Journal of Formal Logic 37 (1):84-104.
A tableau style proof system for two paraconsistent logics.Anthony Bloesch - 1993 - Notre Dame Journal of Formal Logic 34 (2):295-301.

Analytics

Added to PP
2009-01-28

Downloads
69 (#301,285)

6 months
13 (#242,190)

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