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) Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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) Open Access
KEYWORDS: 00A15, 03-00
No abstract available
DOWNLOAD PAPER
Volume 30 contents.
Notre Dame J. Formal Logic 30 (4), 659-661, (Fall 1989) Open Access
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) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top