Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 22 > Issue 3
Notre Dame Journal of Formal Logic
VOL. 22 · NO. 3 | July 1981
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 22, issue 3 (1981)
Notre Dame J. Formal Logic 22 (3), (July 1981) Open Access
No abstract available
DOWNLOAD PAPER
Articles
Elementary extensions of recursively saturated models of arithmetic.
C. Smoryński
Notre Dame J. Formal Logic 22 (3), 193-203, (July 1981) DOI: 10.1305/ndjfl/1093883454 Open Access
KEYWORDS: 03C62, 03C57, 03H15
No abstract available
DOWNLOAD PAPER
A calculus of individuals based on ``connection''.
Bowman L. Clarke
Notre Dame J. Formal Logic 22 (3), 204-218, (July 1981) DOI: 10.1305/ndjfl/1093883455 Open Access
KEYWORDS: 03B99
No abstract available
DOWNLOAD PAPER
Careful choices---a last word on Borel selectors.
John P. Burgess
Notre Dame J. Formal Logic 22 (3), 219-226, (July 1981) DOI: 10.1305/ndjfl/1093883456 Open Access
KEYWORDS: 03E15, 04A15, ‎54C60‎, 54H05
No abstract available
DOWNLOAD PAPER
Probabilistic considerations on modal semantics.
R. E. Jennings, P. K. Schotch
Notre Dame J. Formal Logic 22 (3), 227-238, (July 1981) DOI: 10.1305/ndjfl/1093883457 Open Access
KEYWORDS: 03B45, 03A05, 03B48
No abstract available
DOWNLOAD PAPER
On saturation for a predicate.
Saharon Shelah
Notre Dame J. Formal Logic 22 (3), 239-248, (July 1981) DOI: 10.1305/ndjfl/1093883458 Open Access
KEYWORDS: 03C45, 03C50, 03E35
No abstract available
DOWNLOAD PAPER
Quine on an alleged non sequitur.
Alex Blum
Notre Dame J. Formal Logic 22 (3), 249-250, (July 1981) DOI: 10.1305/ndjfl/1093883459 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
A predicate logic based on indefinite description and two notions of identity.
Robert A. Alps, Robert C. Neveln
Notre Dame J. Formal Logic 22 (3), 251-263, (July 1981) DOI: 10.1305/ndjfl/1093883460 Open Access
KEYWORDS: 03B60, 03B10
No abstract available
DOWNLOAD PAPER
The Church-Rosser theorem for the typed $\lambda$-calculus with surjective pairing.
Garrel Pottinger
Notre Dame J. Formal Logic 22 (3), 264-268, (July 1981) DOI: 10.1305/ndjfl/1093883461 Open Access
KEYWORDS: 03B40
No abstract available
DOWNLOAD PAPER
Completeness theorems for two propositional logics in which identity diverges from mutual entailment.
Philip Hugly, Charles Sayward
Notre Dame J. Formal Logic 22 (3), 269-282, (July 1981) DOI: 10.1305/ndjfl/1093883462 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
Equivalents of a weak axiom of choice.
Melven Krom
Notre Dame J. Formal Logic 22 (3), 283-285, (July 1981) DOI: 10.1305/ndjfl/1093883463 Open Access
KEYWORDS: 04A25, 03E25
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 22, issue 3 (1981)
Notre Dame J. Formal Logic 22 (3), (July 1981) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top