Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 32 > Issue 3
Notre Dame Journal of Formal Logic
VOL. 32 · NO. 3 | Summer 1991
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 32, issue 3 (1991)
Notre Dame J. Formal Logic 32 (3), (Summer 1991)
No abstract available
DOWNLOAD PAPER
Articles
Incompleteness in intuitionistic metamathematics.
David Charles McCarty
Notre Dame J. Formal Logic 32 (3), 323-358, (Summer 1991) DOI: 10.1305/ndjfl/1093635833
KEYWORDS: 03F55
No abstract available
DOWNLOAD PAPER
A topos-theoretic approach to reference and modality.
Gonzalo E. Reyes
Notre Dame J. Formal Logic 32 (3), 359-391, (Summer 1991) DOI: 10.1305/ndjfl/1093635834
KEYWORDS: 03B65, 03B45, 03G30
No abstract available
DOWNLOAD PAPER
Minimal satisfaction classes with an application to rigid models of Peano arithmetic.
Roman Kossak, James H. Schmerl
Notre Dame J. Formal Logic 32 (3), 392-398, (Summer 1991) DOI: 10.1305/ndjfl/1093635835
KEYWORDS: 03C62
No abstract available
DOWNLOAD PAPER
On cofinal extensions of models of fragments of arithmetic.
Richard Kaye
Notre Dame J. Formal Logic 32 (3), 399-408, (Summer 1991) DOI: 10.1305/ndjfl/1093635836
KEYWORDS: 03C62
No abstract available
DOWNLOAD PAPER
A logic for natural language.
William C. Purdy
Notre Dame J. Formal Logic 32 (3), 409-425, (Summer 1991) DOI: 10.1305/ndjfl/1093635837
KEYWORDS: 03B10, 03B65
No abstract available
DOWNLOAD PAPER
End extensions of normal models of open induction.
David Marker
Notre Dame J. Formal Logic 32 (3), 426-431, (Summer 1991) DOI: 10.1305/ndjfl/1093635838
KEYWORDS: 03C62, 03H15, 06F25
No abstract available
DOWNLOAD PAPER
Type-free property theory, exemplification and Russell's paradox.
Francesco Orilia
Notre Dame J. Formal Logic 32 (3), 432-447, (Summer 1991) DOI: 10.1305/ndjfl/1093635839
KEYWORDS: 03A05, 03B65
No abstract available
DOWNLOAD PAPER
Some independence results related to the Kurepa tree.
Renling Jin
Notre Dame J. Formal Logic 32 (3), 448-457, (Summer 1991) DOI: 10.1305/ndjfl/1093635840
KEYWORDS: 03E05, 03E35
No abstract available
DOWNLOAD PAPER
A simple axiomatizable theory of truth.
Jody Azzouni
Notre Dame J. Formal Logic 32 (3), 458-493, (Summer 1991) DOI: 10.1305/ndjfl/1093635841
KEYWORDS: 03A05, 03B30
No abstract available
DOWNLOAD PAPER
Reviews
Book review: David Lewis. Parts of classes.
Peter Forrest
Notre Dame J. Formal Logic 32 (3), 494-497, (Summer 1991) DOI: 10.1305/ndjfl/1093635842
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 32, issue 3 (1991)
Notre Dame J. Formal Logic 32 (3), (Summer 1991)
No abstract available
DOWNLOAD PAPER
Back to Top