Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
1999 | 10.1093/jigpal/7.6.717 | Logic Journal of the IGPL |
Keywords | Field | DocType |
equality-free logic,model theory | Discrete mathematics,Algebra,Free logic,Mathematics | Journal |
Volume | Issue | ISSN |
7 | 6 | 1367-0751 |
Citations | PageRank | References |
7 | 0.67 | 3 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Pilar Dellunde | 1 | 156 | 22.63 |