A system of predicate logic with transatomic units

Notre Dame Journal of Formal Logic 28 (3):431-438 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



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

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

A deduction system for the full first-order predicate logic.Hubert H. Schneider - 1976 - Notre Dame Journal of Formal Logic 17 (3):439-445.
The predicate modal logic of provability.Franco Montagna - 1984 - Notre Dame Journal of Formal Logic 25 (2):179-189.
An axiomatization of predicate functor logic.Steven T. Kuhn - 1983 - Notre Dame Journal of Formal Logic 24 (2):233-241.
Peirce's development of quantifiers and of predicate logic.Richard Beatty - 1969 - Notre Dame Journal of Formal Logic 10 (1):64-76.
Predicate-functors and the limits of decidability in logic.Aris Noah - 1980 - Notre Dame Journal of Formal Logic 21 (4):701-707.
On saturation for a predicate.Saharon Shelah - 1981 - Notre Dame Journal of Formal Logic 22 (3):239-248.
Propositional and predicate calculuses based on combinatory logic.M. W. Bunder - 1974 - Notre Dame Journal of Formal Logic 15 (1):25-34.
Systems of sentence logic with trans-atomic units.Richard Butrick - 1986 - Notre Dame Journal of Formal Logic 27 (4):565-571.
Constructive predicate logic with strong negation and model theory.Seiki Akama - 1987 - Notre Dame Journal of Formal Logic 29 (1):18-27.

Analytics

Added to PP
2010-08-24

Downloads
11 (#351,772)

6 months
7 (#1,397,300)

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