Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 30 > Issue 2
Notre Dame Journal of Formal Logic
VOL. 30 · NO. 2 | Spring 1989
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 30, issue 2 (1989)
Notre Dame J. Formal Logic 30 (2), (Spring 1989) Open Access
No abstract available
DOWNLOAD PAPER
Articles
Peano's smart children: a provability logical study of systems with built-in consistency.
Albert Visser
Notre Dame J. Formal Logic 30 (2), 161-196, (Spring 1989) DOI: 10.1305/ndjfl/1093635077 Open Access
KEYWORDS: 03F40, 03B45, 03F30
No abstract available
DOWNLOAD PAPER
The Boolean spectrum of an $o$-minimal theory.
Charles Steinhorn, Carlo Toffalori
Notre Dame J. Formal Logic 30 (2), 197-206, (Spring 1989) DOI: 10.1305/ndjfl/1093635078 Open Access
KEYWORDS: 03C40
No abstract available
DOWNLOAD PAPER
Modularity and relevant logic.
James Garson
Notre Dame J. Formal Logic 30 (2), 207-223, (Spring 1989) DOI: 10.1305/ndjfl/1093635079 Open Access
KEYWORDS: 03B45, 03B70, 68T27
No abstract available
DOWNLOAD PAPER
Monadic $\Pi^1_1$-theories of $\Pi_1^1$}-properties.
Kees Doets
Notre Dame J. Formal Logic 30 (2), 224-240, (Spring 1989) DOI: 10.1305/ndjfl/1093635080 Open Access
KEYWORDS: 03C85, 03B15
No abstract available
DOWNLOAD PAPER
Combinators and categorial grammar.
Peter Simons
Notre Dame J. Formal Logic 30 (2), 241-261, (Spring 1989) DOI: 10.1305/ndjfl/1093635081 Open Access
KEYWORDS: 03B65, 03B40, 68Q55, 68S05
No abstract available
DOWNLOAD PAPER
Isomorphic but not lower base-isomorphic cylindric algebras of finite dimension.
Balázs Biró
Notre Dame J. Formal Logic 30 (2), 262-267, (Spring 1989) DOI: 10.1305/ndjfl/1093635082 Open Access
KEYWORDS: 03G15, 03C50
No abstract available
DOWNLOAD PAPER
Set-mappings on Dedekind sets.
Norbert Brunner
Notre Dame J. Formal Logic 30 (2), 268-270, (Spring 1989) DOI: 10.1305/ndjfl/1093635083 Open Access
KEYWORDS: 04A25, 03E25
No abstract available
DOWNLOAD PAPER
Models for modal syllogisms.
Fred Johnson
Notre Dame J. Formal Logic 30 (2), 271-284, (Spring 1989) DOI: 10.1305/ndjfl/1093635084 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
Some compactness results for modal logic.
George F. Schumm
Notre Dame J. Formal Logic 30 (2), 285-290, (Spring 1989) DOI: 10.1305/ndjfl/1093635085 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
Leśniewski's strategy and modal logic.
John T. Kearns
Notre Dame J. Formal Logic 30 (2), 291-307, (Spring 1989) DOI: 10.1305/ndjfl/1093635086 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
Reviews
Book review: Peter Aczel. Non-well-founded sets.
R. Hinnion
Notre Dame J. Formal Logic 30 (2), 308-312, (Spring 1989) DOI: 10.1305/ndjfl/1093635087 Open Access
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 30, issue 2 (1989)
Notre Dame J. Formal Logic 30 (2), (Spring 1989) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top