A preservation theorem for equality-free Horn sentences
From MaRDI portal
Publication:2734543
zbMATH Open0981.03039MaRDI QIDQ2734543
Publication date: 16 August 2001
Published in: Theoria. Segunda Epoca (Search for Journal in Brave)
Classical first-order logic (03B10) Interpolation, preservation, definability (03C40) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (1)
This page was built for publication: A preservation theorem for equality-free Horn sentences
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2734543)
