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) Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top