The Gupta-Belnap systems \({\mathbf S}^ \#\) and \({\mathbf S}^*\) are not axiomatisable
From MaRDI portal
Publication:1317974
DOI10.1305/NDJFL/1093633907zbMath0795.03032OpenAlexW1986988225MaRDI QIDQ1317974
Publication date: 11 September 1994
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093633907
Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Inductive definability (03D70)
Related Items (7)
The complexity of revision ⋮ SOLOVAY-TYPE THEOREMS FOR CIRCULAR DEFINITIONS ⋮ Conditionals in theories of truth ⋮ Guest editors' introduction ⋮ Revision without revision sequences: self-referential truth ⋮ On Gupta-Belnap Revision Theories of Truth, Kripkean Fixed Points, and The Next Stable Set ⋮ Property theory and the revision theory of definitions
This page was built for publication: The Gupta-Belnap systems \({\mathbf S}^ \#\) and \({\mathbf S}^*\) are not axiomatisable
