Equality-free logic: the method of diagrams and preservation theorems
Pilar Dellunde · Logic Journal of IGPL · 1999
In this article I prove preservation theorems for the positive and for the universal-existential fragment of equality-free logic. I give a systematic presentation of the method of diagrams for first-order languages without equality. Key words: equality-free logic, model theory