Erratum: ``On the equivalence of strong and weak validity of rule schemes in the two-valued of rule schemes in the two-valued propositional calculus''

Notre Dame Journal of Formal Logic 15 (4):648-648 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



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

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

On the equivalence of strong and weak validity of rule schemes in the two-valued propositional calculus.Rangaswamy V. Setlur - 1970 - Notre Dame Journal of Formal Logic 11 (2):249-253.
A diagram of the functors of the two-valued propositional calculus.Thomas W. Scharle - 1962 - Notre Dame Journal of Formal Logic 3 (4):243-255.
Note to my paper: "A diagram of the functors of the two-valued propositional calculus".Thomas W. Scharle - 1962 - Notre Dame Journal of Formal Logic 3 (4):287-288.
On weak and strong validity of rules for the propositional calculus.V. Frederick Rickey - 1971 - Notre Dame Journal of Formal Logic 12 (1):115-116.
The rule of procedure ${\rm Re}$ in Ł ukasiewicz's many-valued propositional calculi.John Jones - 1985 - Notre Dame Journal of Formal Logic 26 (4):423-428.
Scharle Thomas W.. A diagram of the functors of the two-valued propositional calculus. Notre Dame journal of formal logic, vol. 3 , pp. 243–255. [REVIEW]Gene F. Rose - 1963 - Journal of Symbolic Logic 28 (2):175-175.
An axiom system for three-valued Ł ukasiewicz propositional calculus.Luisa Iturrioz - 1977 - Notre Dame Journal of Formal Logic 18 (4):616-620.
Two remarks concerning Menger's and Schultz' postulates for the substitutive algebra of the $2$-place functors in the $2$-valued calculus of propositions. [REVIEW]Richard Peters - 1964 - Notre Dame Journal of Formal Logic 5 (2):125-128.
The extended calculus of indications interpreted as a three-valued logic.Francisco J. Varela - 1979 - Notre Dame Journal of Formal Logic 20 (1):141-146.

Analytics

Added to PP
2013-11-03

Downloads
16 (#1,194,266)

6 months
6 (#866,322)

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