The consistency of the axioms of abstraction and extensionality in a three-valued logic

Notre Dame Journal of Formal Logic 12 (4):447-453 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093894366

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: 105,417

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

The relative consistency of the class axioms of abstraction and extensionality and the axioms of NBG in a three-valued logic.Ross T. Brady - 1972 - Notre Dame Journal of Formal Logic 13 (2):161-176.
Naive Set Theory with Extensionality in Partial Logic and in Paradoxical Logic.Roland Hinnion - 1994 - Notre Dame Journal of Formal Logic 35 (1):15-40.
On the consistency and independence of some set-theoretical axioms.Alexander Abian & Samuel LaMacchia - 1978 - Notre Dame Journal of Formal Logic 19 (1):155-158.
Three-valued free tense logic.Robert P. McArthur - 1977 - Notre Dame Journal of Formal Logic 18 (1):101-106.
A note on three-valued modal logic.Peter K. Schotch, Jorgen B. Jensen, Peter F. Larsen & Edwin J. MacLellan - 1978 - Notre Dame Journal of Formal Logic 19 (1):63-68.
A three-valued free logic for presuppositional languages.Robert J. Cosgrove - 1980 - Notre Dame Journal of Formal Logic 21 (3):549-571.
The extended calculus of indications interpreted as a three-valued logic.Francisco J. Varela - 1979 - Notre Dame Journal of Formal Logic 20 (1):141-146.
Some modal logics based on a three-valued logic.Osamu Morikawa - 1988 - Notre Dame Journal of Formal Logic 30 (1):130-137.
A complete classification of three-place functors in two-valued logic.J. C. Muzio - 1976 - Notre Dame Journal of Formal Logic 17 (3):429-437.
An axiomatization of the equivalential fragment of the three-valued logic of Ł ukasiewicz.Jacek K. Kabziński - 1984 - Notre Dame Journal of Formal Logic 25 (4):354-356.

Analytics

Added to PP
2010-08-24

Downloads
75 (#301,752)

6 months
11 (#333,890)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Toward useful type-free theories. I.Solomon Feferman - 1984 - Journal of Symbolic Logic 49 (1):75-111.
Transfinite numbers in paraconsistent set theory.Zach Weber - 2010 - Review of Symbolic Logic 3 (1):71-92.
One Step is Enough.David Ripley - 2021 - Journal of Philosophical Logic 51 (6):1-27.
One Step is Enough.David Ripley - 2022 - Journal of Philosophical Logic 51 (6):1233-1259.
Hintikka and Cresswell on Logical Omniscience.Mark Jago - 2006 - Logic and Logical Philosophy 15 (3):325-354.

View all 30 citations / Add more citations

References found in this work

No references found.

Add more references