Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 33 > Issue 4
Notre Dame Journal of Formal Logic
VOL. 33 · NO. 4 | Fall 1992
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 33, issue 4 (1992)
Notre Dame J. Formal Logic 33 (4), (Fall 1992) Open Access
No abstract available
DOWNLOAD PAPER
Articles
What evidence is there that 2^65536 is a natural number?
David Isles
Notre Dame J. Formal Logic 33 (4), 465-480, (Fall 1992) DOI: 10.1305/ndjfl/1093634481 Open Access
KEYWORDS: 03A05, 03B30
No abstract available
DOWNLOAD PAPER
On potential embedding and versions of Martin's axiom.
Sakaé Fuchino
Notre Dame J. Formal Logic 33 (4), 481-492, (Fall 1992) DOI: 10.1305/ndjfl/1093634482 Open Access
KEYWORDS: 03E50, 03C55, 03G05
No abstract available
DOWNLOAD PAPER
Partial functions in type theory.
François Lepage
Notre Dame J. Formal Logic 33 (4), 493-516, (Fall 1992) DOI: 10.1305/ndjfl/1093634483 Open Access
KEYWORDS: 03B15
No abstract available
DOWNLOAD PAPER
A functional partial semantics for intensional logic.
Serge Lapierre
Notre Dame J. Formal Logic 33 (4), 517-541, (Fall 1992) DOI: 10.1305/ndjfl/1093634484 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
On the proofs of arithmetical completeness for interpretability logic.
Domenico Zambella
Notre Dame J. Formal Logic 33 (4), 542-551, (Fall 1992) DOI: 10.1305/ndjfl/1093634485 Open Access
KEYWORDS: 03B45, 03F25, 03F30, 03F40
No abstract available
DOWNLOAD PAPER
Refutation calculi for certain intermediate propositional logics.
Tomasz Skura
Notre Dame J. Formal Logic 33 (4), 552-560, (Fall 1992) DOI: 10.1305/ndjfl/1093634486 Open Access
KEYWORDS: 03B55, 03B25
No abstract available
DOWNLOAD PAPER
A structurally complete fragment of relevant logic.
Robert K. Meyer, John K. Slaney
Notre Dame J. Formal Logic 33 (4), 561-566, (Fall 1992) DOI: 10.1305/ndjfl/1093634487 Open Access
KEYWORDS: 03B46
No abstract available
DOWNLOAD PAPER
Counting functions.
Fred Johnson
Notre Dame J. Formal Logic 33 (4), 567-568, (Fall 1992) DOI: 10.1305/ndjfl/1093634488 Open Access
KEYWORDS: 06E30, 03G05
No abstract available
DOWNLOAD PAPER
The minimal system ${\rm L}'_0$.
Xue Gang Wang
Notre Dame J. Formal Logic 33 (4), 569-575, (Fall 1992) DOI: 10.1305/ndjfl/1093634489 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
The difference model of voting.
Sven Ove Hansson
Notre Dame J. Formal Logic 33 (4), 576-592, (Fall 1992) DOI: 10.1305/ndjfl/1093634490 Open Access
KEYWORDS: 90A28, 90A08
No abstract available
DOWNLOAD PAPER
On the question ``do we need identity?''.
William C. Purdy
Notre Dame J. Formal Logic 33 (4), 593-603, (Fall 1992) DOI: 10.1305/ndjfl/1093634491 Open Access
KEYWORDS: 03B10, 03A05, 03B65
No abstract available
DOWNLOAD PAPER
Reviews
Book review: Francisco A. Rodriguez-Consuegra. The mathematical philosophy of Bertrand Russell: Origins and development.
Gregory Landini
Notre Dame J. Formal Logic 33 (4), 604-610, (Fall 1992) DOI: 10.1305/ndjfl/1093634492 Open Access
No abstract available
DOWNLOAD PAPER
Back Matter
Volume 33 contents.
Notre Dame J. Formal Logic 33 (4), 613-615, (Fall 1992) Open Access
No abstract available
DOWNLOAD PAPER
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 33, issue 4 (1992)
Notre Dame J. Formal Logic 33 (4), (Fall 1992) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top