Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 30 > Issue 4
Notre Dame Journal of Formal Logic
VOL. 30 · NO. 4 | Fall 1989
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 30, issue 4 (1989)
Notre Dame J. Formal Logic 30 (4), (Fall 1989)
No abstract available
DOWNLOAD PAPER
Articles
On relativizing Kolmogorov's absolute probability functions.
Hugues Leblanc, Peter Roeper
Notre Dame J. Formal Logic 30 (4), 485-512, (Fall 1989) DOI: 10.1305/ndjfl/1093635234
KEYWORDS: 03B48, 60A05
No abstract available
DOWNLOAD PAPER
An isomorphism between rings and groups.
Awad A. Iskander
Notre Dame J. Formal Logic 30 (4), 513-529, (Fall 1989) DOI: 10.1305/ndjfl/1093635235
KEYWORDS: 03C60, 03B25, 20F10
No abstract available
DOWNLOAD PAPER
Near coherence of filters. III. A simplified consistency proof.
Andreas Blass, Saharon Shelah
Notre Dame J. Formal Logic 30 (4), 530-538, (Fall 1989) DOI: 10.1305/ndjfl/1093635236
KEYWORDS: 03E35, 03E05
No abstract available
DOWNLOAD PAPER
Cofinalities of countable ultraproducts: the existence theorem.
R. Michael Canjar
Notre Dame J. Formal Logic 30 (4), 539-542, (Fall 1989) DOI: 10.1305/ndjfl/1093635237
KEYWORDS: 03C20, 03C62, 03H15, 04A20
No abstract available
DOWNLOAD PAPER
Some results on intermediate constructive logics.
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi, Silvia Quazza, Gabriele Usberti
Notre Dame J. Formal Logic 30 (4), 543-562, (Fall 1989) DOI: 10.1305/ndjfl/1093635238
KEYWORDS: 03B55, 03F50
No abstract available
DOWNLOAD PAPER
An elementary proof for some semantic characterizations of nondeterministic Floyd-Hoare logic.
Ildikó Sain
Notre Dame J. Formal Logic 30 (4), 563-573, (Fall 1989) DOI: 10.1305/ndjfl/1093635239
KEYWORDS: 68Q60, 03B70
No abstract available
DOWNLOAD PAPER
Infinite sets of nonequivalent modalities.
Fabio Bellissima
Notre Dame J. Formal Logic 30 (4), 574-582, (Fall 1989) DOI: 10.1305/ndjfl/1093635240
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
Paraconsistency and the $\rm C$-systems of da Costa.
Igor Urbas
Notre Dame J. Formal Logic 30 (4), 583-597, (Fall 1989) DOI: 10.1305/ndjfl/1093635241
KEYWORDS: 03B60
No abstract available
DOWNLOAD PAPER
On an unsound proof of the existence of possible worlds.
Christopher Menzel
Notre Dame J. Formal Logic 30 (4), 598-603, (Fall 1989) DOI: 10.1305/ndjfl/1093635242
KEYWORDS: 03B45, 03A05
No abstract available
DOWNLOAD PAPER
Objects and existence: reflections on free logic.
Richard L. Mendelsohn
Notre Dame J. Formal Logic 30 (4), 604-623, (Fall 1989) DOI: 10.1305/ndjfl/1093635243
KEYWORDS: 03A05, 03B10
No abstract available
DOWNLOAD PAPER
On finite models of regular identities.
Józef Dudek, Andrzej Kisielewicz
Notre Dame J. Formal Logic 30 (4), 624-628, (Fall 1989) DOI: 10.1305/ndjfl/1093635244
KEYWORDS: 03C05, 08B05
No abstract available
DOWNLOAD PAPER
Reviews
Book review: S. G. Shanker.Wittgenstein and the turning point in the philosophy of mathematics.
Shelley Stillwell
Notre Dame J. Formal Logic 30 (4), 629-645, (Fall 1989) DOI: 10.1305/ndjfl/1093635245
No abstract available
DOWNLOAD PAPER
Back Matter
Author index V: Volumes 26--30 (1985--1989).
Notre Dame J. Formal Logic 30 (4), 647-658, (Fall 1989)
KEYWORDS: 00A15, 03-00
No abstract available
DOWNLOAD PAPER
Volume 30 contents.
Notre Dame J. Formal Logic 30 (4), 659-661, (Fall 1989)
No abstract available
DOWNLOAD PAPER
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 30, issue 4 (1989)
Notre Dame J. Formal Logic 30 (4), (Fall 1989)
No abstract available
DOWNLOAD PAPER
Back to Top