Generalization of a result of Halldén

Notre Dame Journal of Formal Logic 16 (4):605-606 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093891908

Links

PhilArchive



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

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 note on Halldén-incompleteness.E. J. Lemmon - 1966 - Notre Dame Journal of Formal Logic 7 (4):296-300.
A generalization of the Gentzen Hauptsatz.Luis E. Sanchis - 1971 - Notre Dame Journal of Formal Logic 12 (4):499-504.
A generalization of combinatorial operators.Anna Silverstein - 1978 - Notre Dame Journal of Formal Logic 19 (4):639-645.
A simple generalization of Turing computability.William J. Thomas - 1979 - Notre Dame Journal of Formal Logic 20 (1):95-102.
A generalization of the adequacy theorem for the quasi-senses.Cinzia Bonotto - 1990 - Notre Dame Journal of Formal Logic 31 (4):560-575.
Halldén-completeness by gluing of Kripke frames.J. F. A. K. van Benthem & I. L. Humberstone - 1983 - Notre Dame Journal of Formal Logic 24 (4):426-430.
A generalization of Sierpiński's theorem on Steiner triples and the axiom of choice.William J. Frascella - 1965 - Notre Dame Journal of Formal Logic 6 (3):163-179.
Lennart Åqvist. Results concerning some modal systems that contain S2. The journal of symbolic logic, vol. 29 (1964), pp. 79–87. - E. J. Lemmon. Some results on finite axiomatlzability in modal logic. Notre Dame journal of formal logic, vol. 6 (1965), pp. 301–308. - E. J. Lemmon. A note on Halldén-incompleteness. Notre Dame journal of formal logic, vol. 7 no. 4 (for 1966, pub. 1968), pp. 296–300. [REVIEW]M. J. Cresswell - 1970 - Journal of Symbolic Logic 34 (4):648-649.
Lennart Åqvist. Results concerning some modal systems that contain S2. The journal of symbolic logic, vol. 29 (1964), pp. 79–87. - E. J. Lemmon. Some results on finite axiomatlzability in modal logic. Notre Dame journal of formal logic, vol. 6 (1965), pp. 301–308. - E. J. Lemmon. A note on Halldén-incompleteness. Notre Dame journal of formal logic, vol. 7 no. 4 (for 1966, pub. 1968), pp. 296–300. [REVIEW]Lennart Aqvist & E. J. Lemmon - 1970 - Journal of Symbolic Logic 34 (4):648-649.
Corrigendum and addendum to my paper "A generalization of Sierpinski's theorem on Steiner triples and the axiom of Choice".William J. Frascella - 1965 - Notre Dame Journal of Formal Logic 6:323.

Analytics

Added to PP
2010-08-24

Downloads
19 (#190,912)

6 months
8 (#1,326,708)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

S7.Andrew David Irvine - 2013 - Journal of Applied Logic 11 (4):523-529.

Add more citations

References found in this work

No references found.

Add more references