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 [Book Review]

Journal of Symbolic Logic 28 (2):175-175 (1963)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s0022481200115440

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,998

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

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.
Axiomatization of propositional calculus with Sheffer functors.Thomas W. Scharle - 1965 - Notre Dame Journal of Formal Logic 6 (3):209-217.
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.
An axiom system for three-valued Ł ukasiewicz propositional calculus.Luisa Iturrioz - 1977 - Notre Dame Journal of Formal Logic 18 (4):616-620.
A note about connection of the first-order functional calculus with many-valued propositional calculi.Juliusz Reichbach - 1964 - Notre Dame Journal of Formal Logic 5 (2):158-160.
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.
Three-valued propositional fragments with classical implication.Ivo Thomas - 1967 - Notre Dame Journal of Formal Logic 8 (1-2):145-147.
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''.Rangaswamy V. Setlur - 1974 - Notre Dame Journal of Formal Logic 15 (4):648-648.
Note on the singularies of $S5$.John Thomas Canty & Thomas W. Scharle - 1966 - Notre Dame Journal of Formal Logic 7 (1):108-108.
Single axiom schemata for $D$ and $S$.Thomas W. Scharle - 1966 - Notre Dame Journal of Formal Logic 7 (4):344-348.
Axiomatization of Fragments of S5.Thomas Warren Scharle - 1973 - Dissertation, University of Notre Dame
A complete classification of three-place functors in two-valued logic.J. C. Muzio - 1976 - Notre Dame Journal of Formal Logic 17 (3):429-437.
A propositional calculus intermediate between the minimal calculus and the classical.Charles Parsons - 1966 - Notre Dame Journal of Formal Logic 7 (4):353-358.
Simplified formalizations of fragments of the propositional calculus.Alan Rose - 1977 - Notre Dame Journal of Formal Logic 18 (2):255-261.

Analytics

Added to PP
2016-06-30

Downloads
11 (#1,138,812)

6 months
4 (#792,283)

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