The Gupta-Belnap systems ${\rm S}^\#$ and ${\rm S}^*$ are not axiomatisable

Notre Dame Journal of Formal Logic 34 (4):583-596 (1993)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093633907

Links

PhilArchive



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

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

Verdad y Circularidad.Eduardo Alejandro Barrio - 2002 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 17 (1):63-79.
The Revision Theory of Truth.A. Gupta & N. D. Belnap - 1993 - MIT Press.
An infinity of super-Belnap logics.Umberto Rivieccio - 2012 - Journal of Applied Non-Classical Logics 22 (4):319-335.
On Gupta-Belnap revision theories of truth, Kripkean fixed points, and the next stable set.P. D. Welch - 2001 - Bulletin of Symbolic Logic 7 (3):345-360.
What's in a function?Gian Aldo Antonelli - 1996 - Synthese 107 (2):167 - 204.
A note on extension, intension, and truth.Anil Gupta & Nuel Belnap - 1987 - Journal of Philosophy 84 (3):168-174.
Completeness theorems for two propositional logics in which identity diverges from mutual entailment.Philip Hugly & Charles Sayward - 1981 - Notre Dame Journal of Formal Logic 22 (3):269-282.
Truth or Consequences: Essays in Honor of Nuel Belnap.J. Dunn & A. Gupta (eds.) - 1990 - Boston, MA, USA: Kluwer Academic Publishers.
A consecutive calculus for positive relevant implication with necessity.Nuel D. Belnap, Anil Gupta & J. Michael Dunn - 1980 - Journal of Philosophical Logic 9 (4):343-362.
Book Review: Anil Gupta and Nuel Belnap. The Revision Theory of Truth. [REVIEW]Robert C. Koons - 1994 - Notre Dame Journal of Formal Logic 35 (4):606-631.

Analytics

Added to PP
2010-08-24

Downloads
32 (#488,786)

6 months
6 (#512,819)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Philip Kremer
University of Toronto at Scarborough

Citations of this work

Conditionals in Theories of Truth.Anil Gupta & Shawn Standefer - 2017 - Journal of Philosophical Logic 46 (1):27-63.
Solovay-type theorems for circular definitions.Shawn Standefer - 2015 - Review of Symbolic Logic 8 (3):467-487.
Guest Editors’ Introduction.Riccardo Bruni & Shawn Standefer - 2019 - Journal of Philosophical Logic 48 (1):1-9.
Revision Without Revision Sequences: Self-Referential Truth.Edoardo Rivello - 2019 - Journal of Philosophical Logic 48 (3):523-551.
Contraction and revision.Shawn Standefer - 2016 - Australasian Journal of Logic 13 (3):58-77.

View all 17 citations / Add more citations

References found in this work

No references found.

Add more references