The decidability and semantical incompleteness of Lemmon's system S0. 5

Logique Et Analyse 11:413-421 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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

M. J. Cresswell. The completeness of S0.5. Logique et analyse, n.s. vol. 9 , pp. 263–266. - Richard Routley. The decidability and semantical incompleteness of Lemmon's system S0.5. Logique et analyse, vol. 11 , pp. 413–421. - M. J. Cresswell. Note on the interpretation of SO.5. Logique et analyse, vol. 13 , pp. 376–378. - M. K. Rennie. Remark on Cresswell on S0.5. Logique et analyse, vol. 14 , pp. 757–758. [REVIEW]G. F. Schumm - 1973 - Journal of Symbolic Logic 38 (2):328-329.
The completeness of S0. 5.M. Cresswell - 1966 - Logique Et Analyse 9:263-6.
Note on the interpretation of S0. 5.M. J. Cresswell - 1970 - Logique Et Analyse 13:376-378.
Remark on cresswell on S0. 5.M. K. Rennie - 1971 - Logique Et Analyse 14:757-758.
Decision procedure and semantics for C1, E1 and S0. 5◦.R. Routley - 1968 - Logique Et Analyse 44:468-469.
A note on compactness and decidability.G. Weaver - 1973 - Logique Et Analyse 16 (63):315.
On the semantical valuation of sentences.M. De Rouck - 1980 - Logique Et Analyse 23 (89):63.
Incompleteness of a Free Arithmetic.E. Bencivenga - 1988 - Logique Et Analyse 31 (21):79.
The semantical untenability of the carnapian doctrine of questions.G. Goldstick - 1980 - Logique Et Analyse 23 (92):419.

Analytics

Added to PP
2014-02-11

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Second‐Order Intensional Logic.M. J. Cresswell - 1972 - Mathematical Logic Quarterly 18 (19-20):297-320.
Anderson and Belnap’s Invitation to Sin.Alasdair Urquhart - 2010 - Journal of Philosophical Logic 39 (4):453 - 472.
Provability as a deontic notion.Charles F. Kielkopf - 1971 - Theory and Decision 2 (1):1-15.

Add more citations

References found in this work

No references found.

Add more references