DOI10.1007/BF00278385zbMath0488.03006MaRDI QIDQ1165831
Robert K. Meyer, Ermanno Bencivenga, Karel Lambert
Publication date: 1982 Published in: Journal of Philosophical Logic (Search for Journal in Brave)
zbMATH Keywords
atomic formulasempty domainst is defined
Mathematics Subject Classification ID
Classical first-order logic (03B10)