A felicitous fragment of the predicate calculus

Notre Dame Journal of Formal Logic 14 (4):433-447 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093891098

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 104,319

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

Simplifying the axioms of the predicate calculus.Jean Porte - 1980 - Notre Dame Journal of Formal Logic 21 (2):346-350.
Ordinal theory in a conservative extension of predicate calculus.John H. Harris - 1971 - Notre Dame Journal of Formal Logic 12 (4):423-428.
Truth, falsehood, and contingency in first-order predicate calculus.Charles G. Morgan - 1973 - Notre Dame Journal of Formal Logic 14 (4):536-542.
Truth value assignment in predicate calculus of first order.Setsuo Saito - 1963 - Notre Dame Journal of Formal Logic 4 (3):216-223.
A completeness-proof method for extensions of the implicational fragment of the propositional calculus.Diderik Batens - 1980 - Notre Dame Journal of Formal Logic 21 (3):509-517.
Note on the $C$-calculus.Constantin Milici - 1975 - Notre Dame Journal of Formal Logic 16 (4):548-548.
A semantical proof of the undecidability of the monadic intuitionistic predicate calculus of the first order.Jekeri Okee - 1975 - Notre Dame Journal of Formal Logic 16 (4):552-554.
A completeness proof for $C$-calculus.H. Hiż - 1973 - Notre Dame Journal of Formal Logic 14 (2):253-258.
An axiomatization of the equivalential fragment of the three-valued logic of Ł ukasiewicz.Jacek K. Kabziński - 1984 - Notre Dame Journal of Formal Logic 25 (4):354-356.
Errata: ``A completeness proof for $C$-calculus''.H. Hiż - 1976 - Notre Dame Journal of Formal Logic 17 (4):640-640.

Analytics

Added to PP
2010-08-24

Downloads
37 (#671,858)

6 months
11 (#322,106)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Philosophy, Drama and Literature.Rick Benitez - 2010 - In Graham Robert Oppy, Nick Trakakis, Lynda Burns, Steven Gardner & Fiona Leigh, A companion to philosophy in Australia & New Zealand. Clayton, Victoria, Australia: Monash University Publishing. pp. 371-372.

Add more citations

References found in this work

No references found.

Add more references