A Remark on Henkin Sentences and Their Contraries

Notre Dame Journal of Formal Logic

Volumn 44, Issue 3, 2003, Pages 185-188

  Burgess, John P ^a  

^a PRINCETON UNIVERSITY   (United States)

Author keywords

Branching quantifiers; Henkin sentences

Indexed keywords

EID: 33646484178     PISSN: 00294527     EISSN: 19390726     Source Type: Journal    
DOI: 10.1305/ndjfl/1091030856     Document Type: Article

References (4)

1. 1-logic,” pp. 17–31 in Advances in Contemporary Logic and Computer Science (Salvador, 1996), edited by W. A. Carnielli, vol. 235 of Contemporary Mathematics, American Mathematical Society, Providence, 1999.
2. Enderton, H. B., “Finite partially-ordered quantifiers,” Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 16 (1970), pp. 393–97.
3. Hintikka, J., The Principles of Mathematics Revisited, Cambridge University Press, Cambridge, 1996.
4. Walkoe, W. J., Jr., “Finite partially-ordered quantification,” The Journal of Symbolic Logic, vol. 35 (1970), pp. 535–55.