Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 34 > Issue 3
Notre Dame Journal of Formal Logic
VOL. 34 · NO. 3 | Summer 1993
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 34, issue 3 (1993)
Notre Dame J. Formal Logic 34 (3), (Summer 1993) Open Access
No abstract available
DOWNLOAD PAPER
Articles
Are we finite?
G. White
Notre Dame J. Formal Logic 34 (3), 311-333, (Summer 1993) DOI: 10.1305/ndjfl/1093634726 Open Access
KEYWORDS: 03A05, 00A30, 03B30, 03B35
No abstract available
DOWNLOAD PAPER
The fibrational formulation of intuitionistic predicate logic ${\rm I}$: completeness according to Gödel, Kripke, and Läuchli. I.
M. Makkai
Notre Dame J. Formal Logic 34 (3), 334-377, (Summer 1993) DOI: 10.1305/ndjfl/1093634727 Open Access
KEYWORDS: 03B20, 03F07, 03F10, 03G30, 18C10
No abstract available
DOWNLOAD PAPER
Some admissible rules in nonnormal modal systems.
Timothy Williamson
Notre Dame J. Formal Logic 34 (3), 378-400, (Summer 1993) DOI: 10.1305/ndjfl/1093634728 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
On propositional quantifiers in provability logic.
Sergei N. Artemov, Lev D. Beklemishev
Notre Dame J. Formal Logic 34 (3), 401-419, (Summer 1993) DOI: 10.1305/ndjfl/1093634729 Open Access
KEYWORDS: 03B25, 03B45, 03D35, 03F30
No abstract available
DOWNLOAD PAPER
Quadratic residues and $x^3+y^3=z^3$ in models of ${\rm IE}_1$ and ${\rm IE}_2$.
Stuart T. Smith
Notre Dame J. Formal Logic 34 (3), 420-438, (Summer 1993) DOI: 10.1305/ndjfl/1093634730 Open Access
KEYWORDS: 03F30, 03C62, 03H15, 11U10
No abstract available
DOWNLOAD PAPER
'Good' defined in terms of 'better'.
Charles B. Daniels
Notre Dame J. Formal Logic 34 (3), 439-444, (Summer 1993) DOI: 10.1305/ndjfl/1093634731 Open Access
No abstract available
DOWNLOAD PAPER
Significant parts and identity of artifacts.
Athanassios Tzouvaras
Notre Dame J. Formal Logic 34 (3), 445-452, (Summer 1993) DOI: 10.1305/ndjfl/1093634732 Open Access
KEYWORDS: 03B60
No abstract available
DOWNLOAD PAPER
Reviews
Book Review: Stewart Shapiro. Foundations with foundationalism.
Nino b. Cocchiarella
Notre Dame J. Formal Logic 34 (3), 453-468, (Summer 1993) DOI: 10.1305/ndjfl/1093634733 Open Access
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 34, issue 3 (1993)
Notre Dame J. Formal Logic 34 (3), (Summer 1993) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top