Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 32 > Issue 4
Notre Dame Journal of Formal Logic
VOL. 32 · NO. 4 | Fall 1991
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 32, issue 4 (1991)
Notre Dame J. Formal Logic 32 (4), (Fall 1991) Open Access
No abstract available
DOWNLOAD PAPER
Articles
On $\Pi^0_1$ classes and their ranked points.
Rod Downey
Notre Dame J. Formal Logic 32 (4), 499-512, (Fall 1991) DOI: 10.1305/ndjfl/1093635924 Open Access
KEYWORDS: 03D30, 03D25, 03D55
No abstract available
DOWNLOAD PAPER
Polymorphism and apartness.
David Charles McCarty
Notre Dame J. Formal Logic 32 (4), 513-532, (Fall 1991) DOI: 10.1305/ndjfl/1093635925 Open Access
KEYWORDS: 03F65, 03B40, 03F55
No abstract available
DOWNLOAD PAPER
Inequality in constructive mathematics.
Wim Ruitenburg
Notre Dame J. Formal Logic 32 (4), 533-553, (Fall 1991) DOI: 10.1305/ndjfl/1093635926 Open Access
KEYWORDS: 03F65, 03F55, 03G30
No abstract available
DOWNLOAD PAPER
On the $\Sigma^0_1$-conservativity of $\Sigma^0_1$-completeness.
Albert Visser
Notre Dame J. Formal Logic 32 (4), 554-561, (Fall 1991) DOI: 10.1305/ndjfl/1093635927 Open Access
KEYWORDS: 03B45, 03F30, 03F40
No abstract available
DOWNLOAD PAPER
Provable fixed points in ${\rm I}\Delta_0+\Omega_1$.
Alessandra Carbone
Notre Dame J. Formal Logic 32 (4), 562-572, (Fall 1991) DOI: 10.1305/ndjfl/1093635928 Open Access
KEYWORDS: 03F30, 03B45, 03F40
No abstract available
DOWNLOAD PAPER
Full satisfaction classes: a survey.
Henryk Kotlarski
Notre Dame J. Formal Logic 32 (4), 573-579, (Fall 1991) DOI: 10.1305/ndjfl/1093635929 Open Access
KEYWORDS: 03H15, 03C62, 03F30
No abstract available
DOWNLOAD PAPER
Ancestral Kripke models and nonhereditary Kripke models for the Heyting propositional calculus.
Kosta Došen
Notre Dame J. Formal Logic 32 (4), 580-597, (Fall 1991) DOI: 10.1305/ndjfl/1093635930 Open Access
KEYWORDS: 03B20
No abstract available
DOWNLOAD PAPER
A multidimensional modal translation for a formal system motivated by situation semantics.
Juan Barba Escriba
Notre Dame J. Formal Logic 32 (4), 598-608, (Fall 1991) DOI: 10.1305/ndjfl/1093635931 Open Access
KEYWORDS: 03B45, 03B50
No abstract available
DOWNLOAD PAPER
${\rm C}_1$ is not algebraizable.
R. A. Lewin, I. F. Mikenberg, M. G. Schwarze
Notre Dame J. Formal Logic 32 (4), 609-611, (Fall 1991) DOI: 10.1305/ndjfl/1093635932 Open Access
KEYWORDS: 03G99, 03B53
No abstract available
DOWNLOAD PAPER
Pleasant ideals.
Christopher C. Leary
Notre Dame J. Formal Logic 32 (4), 612-617, (Fall 1991) DOI: 10.1305/ndjfl/1093635933 Open Access
KEYWORDS: 04A20, 03E05
No abstract available
DOWNLOAD PAPER
Decision procedures for logics of consequential implication.
Claudio Pizzi
Notre Dame J. Formal Logic 32 (4), 618-636, (Fall 1991) DOI: 10.1305/ndjfl/1093635934 Open Access
KEYWORDS: 03B22, 03B25
No abstract available
DOWNLOAD PAPER
Classifying pairs of equivalence relations.
Carlo Toffalori
Notre Dame J. Formal Logic 32 (4), 637-650, (Fall 1991) DOI: 10.1305/ndjfl/1093635935 Open Access
KEYWORDS: 03C45
No abstract available
DOWNLOAD PAPER
Back Matter
Errata for volumes 31, 29.
Notre Dame J. Formal Logic 32 (4), 651, (Fall 1991) Open Access
No abstract available
DOWNLOAD PAPER
Volume 32 contents.
Notre Dame J. Formal Logic 32 (4), 653-655, (Fall 1991) Open Access
No abstract available
DOWNLOAD PAPER
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 32, issue 4 (1991)
Notre Dame J. Formal Logic 32 (4), (Fall 1991) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top