A semantical study of constructible falsity

Mathematical Logic Quarterly 15 (16-18):247-257 (1969)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19690151602

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 103,836

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

Thomason, Richmond H. (1939 -).Robert J. Stainton - unknown
Thomason Richmond H.. Symbolic logic. An introduction. The Macmillan Company, Collier-Macmillan Limited, London 1970, xiii + 367 pp. [REVIEW]Hans Hermes - 1971 - Journal of Symbolic Logic 36 (4):678.
Richmond H. Thomason , Formal Philosophy. Selected Papers of Richard Montague. [REVIEW]Godehard Link - 1975 - Erkenntnis 9:252.
Białynicki-Birula A. and Rasiowa H.. On constructible falsity in the constructive logic with strong negation. Colloquium mathematicum, vol. 6 , pp. 287–310. [REVIEW]David Nelson - 1970 - Journal of Symbolic Logic 35 (1):138-138.
A. Białynicki-Birula and H. Rasiowa. On constructible falsity in the constructive logic with strong negation. Colloquium mathematicum, vol. 6 (1958), pp. 287–310. [REVIEW]Gene F. Rose, V. A. Jankov, Sue Walker & Elliott Mendelson - 1970 - Journal of Symbolic Logic 35 (1):138-138.
Constructible β‐models.Herbert B. Enderton - 1973 - Mathematical Logic Quarterly 19 (14‐18):277-282.
On the Semantics of the Constructible Levels.George Boolos - 1970 - Mathematical Logic Quarterly 16 (2):139-148.
Definable Ultrafilters and end Extension of Constructible Sets.Evangelos Kranakis - 1982 - Mathematical Logic Quarterly 28 (27‐32):395-412.
Introduction to Formal Philosophy.Sven Ove Hansson & Vincent F. Hendricks (eds.) - 2012 - Cham: Springer.
Constructible falsity.David Nelson - 1949 - Journal of Symbolic Logic 14 (1):16-26.

Analytics

Added to PP
2013-11-24

Downloads
104 (#213,719)

6 months
6 (#695,703)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Richmond Thomason
University of Michigan, Ann Arbor

Citations of this work

HYPE: A System of Hyperintensional Logic.Hannes Leitgeb - 2019 - Journal of Philosophical Logic 48 (2):305-405.
Constructible falsity and inexact predicates.Ahmad Almukdad & David Nelson - 1984 - Journal of Symbolic Logic 49 (1):231-233.
Toward useful type-free theories. I.Solomon Feferman - 1984 - Journal of Symbolic Logic 49 (1):75-111.
Partiality and its dual.J. Michael Dunn - 2000 - Studia Logica 66 (1):5-40.
Connexive logic.Heinrich Wansing - 2008 - Stanford Encyclopedia of Philosophy.

View all 47 citations / Add more citations

References found in this work

A completeness theorem in modal logic.Saul Kripke - 1959 - Journal of Symbolic Logic 24 (1):1-14.
Constructible falsity.David Nelson - 1949 - Journal of Symbolic Logic 14 (1):16-26.
The system cδ of combinatory logic.Frederic B. Fitch - 1963 - Journal of Symbolic Logic 28 (1):87-97.

Add more references