Free ${\rm S}5$ algebras

Notre Dame Journal of Formal Logic 19 (1):189-191 (1978)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093888226

Other Versions

No versions found

Links

PhilArchive



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

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

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.
Modal trees for ${\rm T}$ and ${\rm S}5$.B. Davidson, F. C. Jackson & R. Pargetter - 1977 - Notre Dame Journal of Formal Logic 18 (4):602-606.
Equivalence relations and ${\rm S}5$.G. E. Hughes - 1980 - Notre Dame Journal of Formal Logic 21 (3):577-584.
Normal form generation of ${\rm S}5$ functions via truth functions.Gerald J. Massey - 1968 - Notre Dame Journal of Formal Logic 9 (1):81-85.
${\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.
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.
${\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.
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.

Analytics

Added to PP
2010-08-24

Downloads
39 (#580,153)

6 months
17 (#176,747)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references