New algorithms for the statement and class calculi

&
Notre Dame Journal of Formal Logic 11 (2):229-240 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093893941

Other Versions

reprint Byerly, Henry C.; Merchant, Charles J. (1974) "New Algorithms for the Statement and Class Calculi". Journal of Symbolic Logic 39(2):362-362

Links

PhilArchive



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

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

Review: Henry C. Byerly, Charles J. Merchant, New Algorithms for the Statement and Class Calculi. [REVIEW]Gerald Standley - 1974 - Journal of Symbolic Logic 39 (2):362-362.
Henry C. Byerly and Charles J. Merchant. New algorithms for the statement and class calculi. Notre Dame journal of formal logic, vol. 11 , pp. 229–240. [REVIEW]Gerald Standley - 1974 - Journal of Symbolic Logic 39 (2):362.
A semantical Analysis of the Calculi C n.Newton C. A. Costa - 1977 - Notre Dame Journal Fo Formal Logic 18:621-630.
Generalizability of the propositional and predicate calculi to infinite-valued calculi.Hermann F. Schott - 1970 - Notre Dame Journal of Formal Logic 11 (1):107-128.
Bishwambhar Pahi and Ralph C. Applebee. An unsolvable problem concerning implicational calculi. Notre Dame journal of formal logic, vol. 11 , pp. 200–202. [REVIEW]M. D. Gladstone - 1972 - Journal of Symbolic Logic 37 (2):417.
Definitional Boolean calculi.Richard Cole - 1968 - Notre Dame Journal of Formal Logic 9 (4):343-350.
A semantical analysis of the calculi Cn.Newton C. A. da Costa - 1977 - Notre Dame Journal of Formal Logic 18:621.
Some complete calculi of individuals.Rolf A. Eberle - 1967 - Notre Dame Journal of Formal Logic 8 (4):267-278.

Analytics

Added to PP
2010-08-24

Downloads
27 (#821,816)

6 months
2 (#1,686,488)

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