Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 33 > Issue 1
Notre Dame Journal of Formal Logic
VOL. 33 · NO. 1 | Winter 1992
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 33, issue 1 (1992)
Notre Dame J. Formal Logic 33 (1), (Winter 1992) Open Access
No abstract available
DOWNLOAD PAPER
Articles
The Hanf numbers of stationary logic. II. Comparison with other logics.
Saharon Shelah
Notre Dame J. Formal Logic 33 (1), 1-12, (Winter 1992) DOI: 10.1305/ndjfl/1093636007 Open Access
KEYWORDS: 03C75, 03C55, 03E35
No abstract available
DOWNLOAD PAPER
Surface reasoning.
William C. Purdy
Notre Dame J. Formal Logic 33 (1), 13-36, (Winter 1992) DOI: 10.1305/ndjfl/1093636008 Open Access
KEYWORDS: 03B65, 68S05, 92K20
No abstract available
DOWNLOAD PAPER
Linear diagrams for syllogisms (with relationals).
George Englebretsen
Notre Dame J. Formal Logic 33 (1), 37-69, (Winter 1992) DOI: 10.1305/ndjfl/1093636009 Open Access
KEYWORDS: 03B35, 03B10, 03B20
No abstract available
DOWNLOAD PAPER
Two formal systems for situation semantics.
Juan Barba Escriba
Notre Dame J. Formal Logic 33 (1), 70-88, (Winter 1992) DOI: 10.1305/ndjfl/1093636010 Open Access
KEYWORDS: 03B65, 03B50
No abstract available
DOWNLOAD PAPER
An alternative rule of disjunction in modal logic.
Timothy Williamson
Notre Dame J. Formal Logic 33 (1), 89-100, (Winter 1992) DOI: 10.1305/ndjfl/1093636011 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
Interpretability of Robinson arithmetic in the ramified second-order theory of dense linear order.
A. P. Hazen
Notre Dame J. Formal Logic 33 (1), 101-111, (Winter 1992) DOI: 10.1305/ndjfl/1093636012 Open Access
KEYWORDS: 03B15, 03F25, 03F30
No abstract available
DOWNLOAD PAPER
On NFU.
Marcel Crabbé
Notre Dame J. Formal Logic 33 (1), 112-119, (Winter 1992) DOI: 10.1305/ndjfl/1093636013 Open Access
KEYWORDS: 03E70
No abstract available
DOWNLOAD PAPER
A model in which every Kurepa tree is thick.
Renling Jin
Notre Dame J. Formal Logic 33 (1), 120-125, (Winter 1992) DOI: 10.1305/ndjfl/1093636014 Open Access
KEYWORDS: 03E35, 03E50
No abstract available
DOWNLOAD PAPER
A note on the ``carving up content'' principle in Frege's theory of sense.
Bernard Linsky
Notre Dame J. Formal Logic 33 (1), 126-135, (Winter 1992) DOI: 10.1305/ndjfl/1093636015 Open Access
KEYWORDS: 03B45, 03A05
No abstract available
DOWNLOAD PAPER
A note on Philip Kitcher's analysis of mathematical truth.
Thomas M. Norton-Smith
Notre Dame J. Formal Logic 33 (1), 136-139, (Winter 1992) DOI: 10.1305/ndjfl/1093636016 Open Access
KEYWORDS: 03A05, 00A30
No abstract available
DOWNLOAD PAPER
Coherence in category theory and the Church-Rosser property.
C. Barry Jay
Notre Dame J. Formal Logic 33 (1), 140-143, (Winter 1992) DOI: 10.1305/ndjfl/1093636017 Open Access
KEYWORDS: 03F05, 03G30, 18D99
No abstract available
DOWNLOAD PAPER
A note on some weak forms of the axiom of choice.
Gary P. Shannon
Notre Dame J. Formal Logic 33 (1), 144-147, (Winter 1992) DOI: 10.1305/ndjfl/1093636018 Open Access
KEYWORDS: 03E25, 03E10, 04A25
No abstract available
DOWNLOAD PAPER
The Gentzen-Kripke construction of the intermediate logic LQ.
Seiki Akama
Notre Dame J. Formal Logic 33 (1), 148-153, (Winter 1992) DOI: 10.1305/ndjfl/1093636019 Open Access
KEYWORDS: 03B55, 03F05
No abstract available
DOWNLOAD PAPER
Reviews
Book review: S. Shelah. Classification theory and the number of non-isomorhic models.
Steven Buechler
Notre Dame J. Formal Logic 33 (1), 154-158, (Winter 1992) DOI: 10.1305/ndjfl/1093636020 Open Access
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 33, issue 1 (1992)
Notre Dame J. Formal Logic 33 (1), (Winter 1992) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top