Algebraic semantics for $S2^0$ and necessitated extensions

Notre Dame Journal of Formal Logic 17 (1):44-58 (1976)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Other Versions

No versions found

Links

PhilArchive



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

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Fuzzy R Systems and Algebraic Routley-Meyer Semantics.Eunsuk Yang - 2022 - Korean Journal of Logic 25 (3):313-332.
Some Post-complete extensions of S2 and S3.Robert V. Kohn - 1977 - Notre Dame Journal of Formal Logic 18:467.
Extensions of $T^0$.Stanley E. Hayes - 1972 - Notre Dame Journal of Formal Logic 13 (4):501-505.
Kripke's axiomatization of S2.Charles F. Kielkopf - 1972 - Notre Dame Journal of Formal Logic 13:379.
Operational semantics for positive "R".I. L. Humberstone - 1987 - Notre Dame Journal of Formal Logic 29:61-80.
Decision procedures for S2° and T°.Ivo Thomas - 1964 - Notre Dame Journal of Formal Logic 5:319.
Routley-Meyer Semantics for E-R, Ee-R, Eec-R.Eun-Suk Yang - 2003 - Korean Journal of Logic 6 (1):19-32.
Algebraic logic with generalized quantifiers.Charles C. Pinter - 1975 - Notre Dame Journal of Formal Logic 16 (4):511-516.

Analytics

Added to PP
2010-08-24

Downloads
29 (#773,918)

6 months
9 (#482,469)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

C. I. Lewis’s Intensional Semantics.Edwin Mares - 2023 - Notre Dame Journal of Formal Logic 64 (3):329-352.

Add more citations

References found in this work

No references found.

Add more references