On compactness in many-valued logic. I

Notre Dame Journal of Formal Logic 14 (3):405-407 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



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

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

Duality in finite many-valued logic.Rangaswamy V. Setlur - 1971 - Notre Dame Journal of Formal Logic 12 (2):188-194.
A note on natural deduction in many-valued logic.Bruce White - 1974 - Notre Dame Journal of Formal Logic 15 (1):167-168.
Many-valued logics and the Lewis paradoxes.Edward Schuh - 1973 - Notre Dame Journal of Formal Logic 14 (2):250-252.
Some compactness results for modal logic.George F. Schumm - 1989 - Notre Dame Journal of Formal Logic 30 (2):285-290.
A new proof of the compactness theorem for propositional logic.Robert H. Cowen - 1970 - Notre Dame Journal of Formal Logic 11 (1):79-80.
A note concerning the many-valued propositional calculi.Bolesław Sobociński - 1961 - Notre Dame Journal of Formal Logic 2 (2):127-128.
Sequential compactness and the axiom of choice.Norbert Brunner - 1983 - Notre Dame Journal of Formal Logic 24 (1):89-92.
Compactness via prime semilattices.R. H. Cowen - 1983 - Notre Dame Journal of Formal Logic 24 (2):199-204.
Book Review: Grzegorz Malinowski Many-Valued Logics. [REVIEW]Alasdair Urquhart - 1994 - Notre Dame Journal of Formal Logic 35 (3):469-470.
Local and global operators and many-valued modal logics.Charles G. Morgan - 1979 - Notre Dame Journal of Formal Logic 20 (2):401-411.

Analytics

Added to PP
2010-08-24

Downloads
37 (#118,170)

6 months
15 (#941,355)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The Expressive Unary Truth Functions of n -valued Logic.Stephen Pollard - 2005 - Notre Dame Journal of Formal Logic 46 (1):93-105.

Add more citations

References found in this work

No references found.

Add more references