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: 91,829

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.
How to avoid deviance (in logic).Walter Sinnott-Armstrong & Amit Malhotra - 2002 - History and Philosophy of Logic 23 (3):215--36.
Positive abstraction and extensionality.Roland Hinnion & Thierry Libert - 2003 - Journal of Symbolic Logic 68 (3):828-836.
Łukasiewicz logic and the foundations of measurement.Michael Katz - 1981 - Studia Logica 40 (3):209 - 225.
Higher-Order Semantics and Extensionality.Christoph Benzmüller, Chad E. Brown & Michael Kohlhase - 2004 - Journal of Symbolic Logic 69 (4):1027 - 1088.
Displaying the modal logic of consistency.Heinrich Wansing - 1999 - Journal of Symbolic Logic 64 (4):1573-1590.
Dual Equivalent Two-valued Under-determined and Over-determined Interpretations for Łukasiewicz's 3-valued Logic Ł3.Gemma Robles, Francisco Salto & José M. Méndez - 2013 - Journal of Philosophical Logic (2-3):1-30.
GL-Quantales: Q-valued sets and their singletons. [REVIEW]Ulrich Höhle - 1998 - Studia Logica 61 (1):123-148.
Independent axioms for infinite-valued logic.Atwell R. Turquette - 1963 - Journal of Symbolic Logic 28 (3):217-221.
Kleene's three valued logics and their children.Melvin Fitting - unknown
Three-valued logics in modal logic.Barteld Kooi & Allard Tamminga - 2013 - Studia Logica 101 (5):1061-1072.
A theory of strong indiscernibles.Harvey Friedman - manuscript
The consistency of the axiom of comprehension in the infinite-valued predicate logic of łukasiewicz.Richard B. White - 1979 - Journal of Philosophical Logic 8 (1):509 - 534.

Analytics

Added to PP
2010-08-24

Downloads
48 (#330,639)

6 months
13 (#192,902)

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