Online Resource
Cambridge University Press (CUP)
;
1968
In:
Journal of Symbolic Logic Vol. 33, No. 3 ( 1968-10-10), p. 444-445
In:
Journal of Symbolic Logic, Cambridge University Press (CUP), Vol. 33, No. 3 ( 1968-10-10), p. 444-445
Abstract:
In this note a proof is supplied of a fairly easily-made conjecture: that the system S3.5, formulated by Åqvist in [1] and proved complete with respect to some Kripke-style semantics by Cresswell in [2] , is indeed the same system as S3(S), formulated by Lemmon in [3]. Any otherwise unexplained terms and notation are taken from the latter two papers.
Type of Medium:
Online Resource
ISSN:
0022-4812
,
1943-5886
Language:
English
Publisher:
Cambridge University Press (CUP)
Publication Date:
1968
detail.hit.zdb_id:
2010607-5
SSG:
5,1
SSG:
17,1
Permalink
|
Location |
Call Number |
Limitation |
Availability |