Open Access
2003 A Remark on Henkin Sentences and Their Contraries
John P. Burgess
Notre Dame J. Formal Logic 44(3): 185-188 (2003). DOI: 10.1305/ndjfl/1091030856


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.


Download Citation

John P. Burgess. "A Remark on Henkin Sentences and Their Contraries." Notre Dame J. Formal Logic 44 (3) 185 - 188, 2003.


Published: 2003
First available in Project Euclid: 28 July 2004

zbMATH: 1071.03023
MathSciNet: MR2130790
Digital Object Identifier: 10.1305/ndjfl/1091030856

Primary: 03C80

Keywords: branching quantifiers , Henkin sentences

Rights: Copyright © 2003 University of Notre Dame

Vol.44 • No. 3 • 2003
Back to Top