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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,045

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.
A note on ${\bf R}$-Mingle and Sobociński's three-valued logic.R. Zane Parks - 1972 - Notre Dame Journal of Formal Logic 13 (2):227-228.

Analytics

Added to PP
2010-08-24

Downloads
52 (#299,043)

6 months
14 (#252,725)

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.
Hintikka and Cresswell on Logical Omniscience.Mark Jago - 2006 - Logic and Logical Philosophy 15 (3):325-354.
One Step is Enough.David Ripley - 2021 - Journal of Philosophical Logic 51 (6):1-27.
Paths to Triviality.Tore Fjetland Øgaard - 2016 - Journal of Philosophical Logic 45 (3):237-276.

View all 30 citations / Add more citations

References found in this work

No references found.

Add more references