The Gupta-Belnap systems \({\mathbf S}^ \#\) and \({\mathbf S}^*\) are not axiomatisable
revision theories of circular definitions
scientific article; zbMATH DE number 537000