A reduction in the number of independent axiom schemata for $S4$

Notre Dame Journal of Formal Logic 3 (4):256-258 (1962)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093957318

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,590

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.Naoto Yonemitsu - 1967 - Journal of Symbolic Logic 32 (2):245-245.
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.
Leo Simons. A reduction in the number of independent axiom schemata for S4. Notre Dame journal of formal logic, vol. 3 , pp. 256–258. - Bolesław Sobociński. An axiom-system for {K; N}-propositional calculus related to Simons' axiomatization of S3.Notre Dame journal of formal logic, vol. 3 , pp. 206–208. [REVIEW]Naoto Yonemitsu - 1967 - Journal of Symbolic Logic 32 (2):245.
Single axiom schemata for $D$ and $S$.Thomas W. Scharle - 1966 - Notre Dame Journal of Formal Logic 7 (4):344-348.
An axiom - system for {"K;N"} - propositional calculus related to Simons' axiomatization of S3.Bolesław Sobociński - 1962 - Notre Dame Journal of Formal Logic 3:206.
The number of nonnormal extensions of S4.George F. Schumm - 1987 - Notre Dame Journal of Formal Logic 29:106-108.
The number of nonnormal extensions of ${\rm S4}$.George F. Schumm - 1987 - Notre Dame Journal of Formal Logic 29 (1):106-108.
A modal system properly independent of both the Brouwerian system and $S4$.G. N. Georgacarakos - 1978 - Notre Dame Journal of Formal Logic 19 (1):101-114.
S4:1:4 = s4:1:2 and s4:021 = s4:04.Wolfgang Lenzen - 1978 - Notre Dame Journal of Formal Logic 19 (July):465-466.
Shortest Axiomatizations of Implicational S4 and S.Zachary Ernst, Branden Fitelson, Kenneth Harris & Larry Wos - 2002 - Notre Dame Journal of Formal Logic 43 (3):169-179.

Analytics

Added to PP
2010-08-24

Downloads
15 (#244,896)

6 months
2 (#1,816,284)

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