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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,423

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

What is a genuine intuitionistic notion of falsity?Yaroslav Shramko - 2012 - Logic and Logical Philosophy 21 (1):3-23.
Constructible falsity.David Nelson - 1949 - Journal of Symbolic Logic 14 (1):16-26.
Review: David Nelson, Constructible Falsity. [REVIEW]Th Skolem - 1950 - Journal of Symbolic Logic 15 (3):228-228.
Constructible falsity and inexact predicates.Ahmad Almukdad & David Nelson - 1984 - Journal of Symbolic Logic 49 (1):231-233.
Review: A. Bialynicki-Birula, H. Rasiowa, On Constructible Falsity in the Constructive Logic with Strong Negation. [REVIEW]David Nelson - 1970 - Journal of Symbolic Logic 35 (1):138-138.
Falsity.Kevin Scharp - 2010 - In Cory D. Wright & Nikolaj Pedersen (eds.), New Waves in Truth. Palgrave-Macmillan.
Rumely Domains with Atomic Constructible Boolean Algebra. An Effective Viewpoint.Claude Sureson - 2007 - Notre Dame Journal of Formal Logic 48 (3):399-423.
How game-theoretical semantics works: Classical first-order logic.Michael Hand - 1988 - Erkenntnis 29 (1):77 - 93.
The cumulative hierarchy and the constructible universe of ZFA.Matteo Viale - 2004 - Mathematical Logic Quarterly 50 (1):99.
Semantical Hierarchies and Semantical Primitives.Charles Sayward - 1975 - In Hassan Sharifi (ed.), From Meaning to Sound: Proceedings of the 1974 Mid-American Linguistics Conference, 5: 38-40. college of arts and sciences, university of nebraska.
Quine’s Way Out.Philip Hugly & Charles Sayward - 1975 - Analysis 36 (1):28-37.
On the strong semantical completeness of the intuitionistic predicate calculus.Richmond H. Thomason - 1968 - Journal of Symbolic Logic 33 (1):1-7.
Partial Up and Down Logic.Jan O. M. Jaspars - 1995 - Notre Dame Journal of Formal Logic 36 (1):134-157.
Paradox and Semantical Correctness.Philip Hugly & Charles Sayward - 1979 - Analysis 39 (4):166-169.
"Is", Semantical Games, and Semantical Relativity.Jaakko Hintikka - 1979 - Journal of Philosophical Logic 8 (1):433 - 468.

Analytics

Added to PP
2013-11-24

Downloads
35 (#448,033)

6 months
8 (#346,782)

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.
Intuitionistic logic with strong negation.Yuri Gurevich - 1977 - Studia Logica 36 (1-2):49 - 59.
Constructive negation, implication, and co-implication.Heinrich Wansing - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):341-364.

View all 40 citations / Add more citations

References found in this work

No references found.

Add more references