Notre Dame Journal of Formal Logic
- Notre Dame J. Formal Logic
- Volume 44, Number 3 (2003), 185-188.
A Remark on Henkin Sentences and Their Contraries
That the result of flipping quantifiers and negating what comes after, applied to branching-quantifier sentences, is not equivalent to the negation of the original has been known for as long as such sentences have been studied. It is here pointed out that this syntactic operation fails in the strongest possible sense to correspond to any operation on classes of models.
Notre Dame J. Formal Logic Volume 44, Number 3 (2003), 185-188.
First available in Project Euclid: 28 July 2004
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Burgess, John P. A Remark on Henkin Sentences and Their Contraries. Notre Dame J. Formal Logic 44 (2003), no. 3, 185--188. doi:10.1305/ndjfl/1091030856. https://projecteuclid.org/euclid.ndjfl/1091030856.