The ineliminability of \(E|\) in free quantification theory without identity
From MaRDI portal
Publication:1165831
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)
03B10: Classical first-order logic