A Remark on Henkin Sentences and Their Contraries

Research output: Contribution to journalArticlepeer-review

11 Scopus citations

Abstract

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
Volume44
Issue number3
DOIs
StatePublished - 2003

All Science Journal Classification (ASJC) codes

  • Logic

Keywords

  • Branching quantifiers
  • Henkin sentences

Fingerprint

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

Cite this