A Reduction in the Number of Independent Axiom Schemata for S4

Journal of Symbolic Logic 32 (2):245-245 (1967)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271666

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,471

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 reduction in the number of independent axiom schemata for $S4$.Leo Simons - 1962 - Notre Dame Journal of Formal Logic 3 (4):256-258.
Review: Leo Simons, A Reduction in the Number of Independent Axiom Schemata for S4. [REVIEW]Naoto Yonemitsu - 1967 - Journal of Symbolic Logic 32 (2):245-245.
Independent Axiom Schemata for S5.Alan Ross Anderson - 1957 - Journal of Symbolic Logic 22 (3):327-327.
Independent axiom schemata for S.Alan Ross Anderson - 1956 - Journal of Symbolic Logic 21 (3):255-256.
Independent Axiom Schemata for von Wright's M.Alan Ross Anderson - 1958 - Journal of Symbolic Logic 23 (3):346-346.
Independent axiom schemata for Von Wright's M.Alan Ross Anderson - 1957 - Journal of Symbolic Logic 22 (3):241-244.
Anderson Alan Ross. Independent axiom schemata for S5.Naoto Yonemitsu - 1957 - Journal of Symbolic Logic 22 (3):327-327.
Review: Alan Ross Anderson, Independent Axiom Schemata for S5. [REVIEW]Naoto Yonemitsu - 1957 - Journal of Symbolic Logic 22 (3):327-327.
Anderson Alan Ross. Independent axiom schemata for von Wright's M. [REVIEW]Naoto Yonemitsu - 1958 - Journal of Symbolic Logic 23 (3):346-346.
Upper bounds on complexity of Frege proofs with limited use of certain schemata.Pavel Naumov - 2006 - Archive for Mathematical Logic 45 (4):431-446.
Independent Axiom Schemata for the Pure Theory of Entailment.Donald Paul Snyder - 1973 - Journal of Symbolic Logic 38 (2):327-328.
Independent Axiom Schemata for the Pure Theory of Entailment.Alan Ross Anderson - 1960 - Mathematical Logic Quarterly 6 (1-6):93-95.
Review: Alan Ross Anderson, Nuel D. Belnap, John R. Wallace, Independent Axiom Schemata for the Pure Theory of Entailment. [REVIEW]Donald Paul Snyder - 1973 - Journal of Symbolic Logic 38 (2):327-328.
Schemata: The concept of schema in the history of logic.John Corcoran - 2006 - Bulletin of Symbolic Logic 12 (2):219-240.
Concurrent Modalities in Later Mediaeval and Second Scholastic Logic.Lynn Dell Cates - 1994 - Dissertation, The University of Texas at Austin

Analytics

Added to PP
2017-02-21

Downloads
6 (#1,467,817)

6 months
1 (#1,478,830)

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