Unifying some modifications of the Henkin construction

Notre Dame Journal of Formal Logic 33 (3):450-460 (1992)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093634409

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,642

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A Henkin completeness theorem for T.M. J. Cresswell - 1967 - Notre Dame Journal of Formal Logic 8:186.
Henkin style completeness proofs in theories lacking negation.John L. Pollock - 1971 - Notre Dame Journal of Formal Logic 12 (4):509-511.
A Henkin-style completeness proof for the pure implicational calculus.George F. Schumm - 1975 - Notre Dame Journal of Formal Logic 16 (3):402-404.
Cresswell M. J.. A Henkin completeness theorem for T. Notre Dame journal of formal logic, vol. 8 no. 3 , pp. 186–190.Cresswell M. J.. Alternative completeness theorems for modal systems. Notre Dame journal of formal logic, vol. 8 no. 4 , pp. 339–345.Cresswell M. J.. Some proofs of relative completeness in modal logic. Notre Dame journal of formal logic, vol. 9 no. 1 , pp. 62–66. [REVIEW]David Makinson - 1970 - Journal of Symbolic Logic 35 (4):581-582.
On general purpose unifying automata.D. L. Székely - 1966 - Notre Dame Journal of Formal Logic 7:305.
Contractions of Closure Systems.Stephen Pollard & Norman M. Martin - 1994 - Notre Dame Journal of Formal Logic 35 (1):108-115.
Alternative notations for Principia Mathematica description theory: possible modifications.Jordan Howard Sobel - 1976 - Notre Dame Journal of Formal Logic 17 (3):476-478.
George Boolos.Charles Parsons - 1999 - Notre Dame Journal of Formal Logic 40 (1):3-5.
A reassessment of George Boole's theory of logic.James W. Evra - 1977 - Notre Dame Journal of Formal Logic 18:363.
A reassessment of George Boole's theory of logic.James W. van Evra - 1977 - Notre Dame Journal of Formal Logic 18 (3):363-377.

Analytics

Added to PP
2010-08-24

Downloads
10 (#1,222,590)

6 months
21 (#133,716)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references