A Remark on Henkin Sentences and Their Contraries

Research output: Contribution to journalArticlepeer-review

11 Scopus citations


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.

Original languageEnglish (US)
Pages (from-to)185-188
Number of pages4
JournalNotre Dame Journal of Formal Logic
Issue number3
StatePublished - 2003

All Science Journal Classification (ASJC) codes

  • Logic


  • Branching quantifiers
  • Henkin sentences


Dive into the research topics of 'A Remark on Henkin Sentences and Their Contraries'. Together they form a unique fingerprint.

Cite this