Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 31 > Issue 3
Notre Dame Journal of Formal Logic
VOL. 31 · NO. 3 | Summer 1990
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 31, issue 3 (1990)
Notre Dame J. Formal Logic 31 (3), (Summer 1990)
No abstract available
DOWNLOAD PAPER
Articles
Recursive surreal numbers.
Leon Harkleroad
Notre Dame J. Formal Logic 31 (3), 337-345, (Summer 1990) DOI: 10.1305/ndjfl/1093635498
KEYWORDS: 03F60, 03D60, 04A10, 11U99
No abstract available
DOWNLOAD PAPER
Negative membership.
Wayne D. Blizard
Notre Dame J. Formal Logic 31 (3), 346-368, (Summer 1990) DOI: 10.1305/ndjfl/1093635499
KEYWORDS: 03E70
No abstract available
DOWNLOAD PAPER
A strengthening of Scott's ${\rm ZF}^{\not=}$ result.
Stephen Pollard
Notre Dame J. Formal Logic 31 (3), 369-370, (Summer 1990) DOI: 10.1305/ndjfl/1093635500
KEYWORDS: 03E30, 03F25
No abstract available
DOWNLOAD PAPER
An equivalent of the axiom of choice in finite models of the powerset axiom.
Alexander Abian, Wael A. Amin
Notre Dame J. Formal Logic 31 (3), 371-374, (Summer 1990) DOI: 10.1305/ndjfl/1093635501
KEYWORDS: 03E25
No abstract available
DOWNLOAD PAPER
The dual Cantor-Bernstein theorem and the partition principle.
Bernhard Banaschewski, Gregory H. Moore
Notre Dame J. Formal Logic 31 (3), 375-381, (Summer 1990) DOI: 10.1305/ndjfl/1093635502
KEYWORDS: 03E25, 04A25
No abstract available
DOWNLOAD PAPER
Provable forms of Martin's axiom.
Gary P. Shannon
Notre Dame J. Formal Logic 31 (3), 382-388, (Summer 1990) DOI: 10.1305/ndjfl/1093635503
KEYWORDS: 03E50, 03E25
No abstract available
DOWNLOAD PAPER
Varying modal theories.
R. Lavendhomme, Th. Lucas
Notre Dame J. Formal Logic 31 (3), 389-402, (Summer 1990) DOI: 10.1305/ndjfl/1093635504
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
Concerted instant-interval temporal semantics. I. Temporal ontologies.
Alexander Bochman
Notre Dame J. Formal Logic 31 (3), 403-414, (Summer 1990) DOI: 10.1305/ndjfl/1093635505
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
A fully logical inductive logic.
John Nolt
Notre Dame J. Formal Logic 31 (3), 415-436, (Summer 1990) DOI: 10.1305/ndjfl/1093635506
KEYWORDS: 03B48
No abstract available
DOWNLOAD PAPER
Semantics without reference.
Christopher Gauker
Notre Dame J. Formal Logic 31 (3), 437-461, (Summer 1990) DOI: 10.1305/ndjfl/1093635507
KEYWORDS: 03A05
No abstract available
DOWNLOAD PAPER
Post's functional completeness theorem.
Norman M. Martin, Francis Jeffry Pelletier
Notre Dame J. Formal Logic 31 (3), 462-475, (Summer 1990) DOI: 10.1305/ndjfl/1093635508
KEYWORDS: 03B05, 94C10
No abstract available
DOWNLOAD PAPER
On defining identity.
Elias E. Savellos
Notre Dame J. Formal Logic 31 (3), 476-484, (Summer 1990) DOI: 10.1305/ndjfl/1093635509
KEYWORDS: 03A05
No abstract available
DOWNLOAD PAPER
Reviews
Book review: Melvin Fitting. Computability theory, semantics, and logic programming.
Martin Davis
Notre Dame J. Formal Logic 31 (3), 485-486, (Summer 1990) DOI: 10.1305/ndjfl/1093635510
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 31, issue 3 (1990)
Notre Dame J. Formal Logic 31 (3), (Summer 1990)
No abstract available
DOWNLOAD PAPER
Back to Top