The fundamental ${\rm S}$-theorem---a corollary

, &
Notre Dame Journal of Formal Logic 24 (4):509-516 (1983)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093870453

Links

PhilArchive



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

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 theorem on ${\rm S}4.2$ and ${\rm S}4.4$.Ivo Thomas - 1967 - Notre Dame Journal of Formal Logic 8 (4):335-336.
The deduction theorem in ${\rm S}4,$ ${\rm S}4.2$, and ${\rm S}5$.J. Jay Zeman - 1967 - Notre Dame Journal of Formal Logic 8 (1-2):56-60.
${\rm S}3.02={\rm S}3.03$.George F. Schumm - 1974 - Notre Dame Journal of Formal Logic 15 (1):147-148.
${\rm S}4.6$ is ${\rm S}4.9$.J. Jay Zeman - 1972 - Notre Dame Journal of Formal Logic 13 (1):118-118.
Tense trees: a tree system for ${\rm K}_{{\rm t}}$.B. J. Copeland - 1983 - Notre Dame Journal of Formal Logic 24 (3):318-322.
${\rm E}$ and ${\rm S}4$.Robert K. Meyer - 1970 - Notre Dame Journal of Formal Logic 11 (2):181-199.
The Gupta-Belnap systems ${\rm S}^\#$ and ${\rm S}^*$ are not axiomatisable.Philip Kremer - 1993 - Notre Dame Journal of Formal Logic 34 (4):583-596.
A new variant of the Gödel-Mal'cev theorem for the classical propositional calculus and correction to my paper: "The connective of necessity of modal logic ${\rm S}_5$ is metalogical".Zdzisław Dywan - 1986 - Notre Dame Journal of Formal Logic 27 (4):551-555.
Modal system ${\rm S}3$ and the proper axioms of ${\rm S}4.02$ and ${\rm S}4.04$.Bolesław Sobociński - 1973 - Notre Dame Journal of Formal Logic 14 (3):415-418.
Erratum: ``Modal system ${rm S}3$ and the proper axioms of ${rm S}4.02$ and ${rm S}4.04$''.Bolesław Sobociński - 1974 - Notre Dame Journal of Formal Logic 15 (4):648-648.

Analytics

Added to PP
2010-08-24

Downloads
32 (#516,119)

6 months
9 (#355,272)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Contexts of Begging the Question.Jim Mackenzie - 1994 - Argumentation 8 (3):227-240.
On teaching critical thinking.Jim Mackenzie - 1991 - Educational Philosophy and Theory 23 (1):56–78.
On Teaching Critical Thinking1.Jim Mackenzie - 1991 - Educational Philosophy and Theory 23 (1):56-78.

Add more citations

References found in this work

No references found.

Add more references