Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 31 > Issue 4
Notre Dame Journal of Formal Logic
VOL. 31 · NO. 4 | Fall 1990
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 31, issue 4 (1990)
Notre Dame J. Formal Logic 31 (4), (Fall 1990) Open Access
No abstract available
DOWNLOAD PAPER
Articles
Derivability conditions on Rosser's provability predicates.
Toshiyasu Arai
Notre Dame J. Formal Logic 31 (4), 487-497, (Fall 1990) DOI: 10.1305/ndjfl/1093635585 Open Access
KEYWORDS: 03F30, 03B45, 03F40
No abstract available
DOWNLOAD PAPER
Actuality and quantification.
Allen Hazen
Notre Dame J. Formal Logic 31 (4), 498-508, (Fall 1990) DOI: 10.1305/ndjfl/1093635586 Open Access
KEYWORDS: 03B45, 03F07
No abstract available
DOWNLOAD PAPER
Enumerations of Turing ideals with applications.
David Marker
Notre Dame J. Formal Logic 31 (4), 509-514, (Fall 1990) DOI: 10.1305/ndjfl/1093635587 Open Access
KEYWORDS: 03C57, 03D40, 03F30, 03F35
No abstract available
DOWNLOAD PAPER
Remarks on special lattices and related constructive logics with strong negation.
Piero Pagliani
Notre Dame J. Formal Logic 31 (4), 515-528, (Fall 1990) DOI: 10.1305/ndjfl/1093635588 Open Access
KEYWORDS: 03G25, 03B20, 03B60
No abstract available
DOWNLOAD PAPER
Expressiveness and completeness of an interval tense logic.
Yde Venema
Notre Dame J. Formal Logic 31 (4), 529-547, (Fall 1990) DOI: 10.1305/ndjfl/1093635589 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
Some syntactical properties of intermediate predicate logics.
Nobu-Yuki Suzuki
Notre Dame J. Formal Logic 31 (4), 548-559, (Fall 1990) DOI: 10.1305/ndjfl/1093635590 Open Access
KEYWORDS: 03B55
No abstract available
DOWNLOAD PAPER
A generalization of the adequacy theorem for the quasi-senses.
Cinzia Bonotto
Notre Dame J. Formal Logic 31 (4), 560-575, (Fall 1990) DOI: 10.1305/ndjfl/1093635591 Open Access
KEYWORDS: 03B45, 03B65
No abstract available
DOWNLOAD PAPER
Expressive completeness and decidability.
George F. Schumm, Stewart Shapiro
Notre Dame J. Formal Logic 31 (4), 576-579, (Fall 1990) DOI: 10.1305/ndjfl/1093635592 Open Access
KEYWORDS: 03B05, 03D10, 03D35
No abstract available
DOWNLOAD PAPER
Concerted instant-interval temporal semantics. II. Temporal valuations and logics of change.
Alexander Bochman
Notre Dame J. Formal Logic 31 (4), 580-601, (Fall 1990) DOI: 10.1305/ndjfl/1093635593 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
Reviews
Review of K. Gödel's Collected works, Vol. II [Oxford Univ. Press, New York, 1990].
G. Kreisel
Notre Dame J. Formal Logic 31 (4), 602-641, (Fall 1990) DOI: 10.1305/ndjfl/1093635594 Open Access
KEYWORDS: 01A60, 03-03, 03A05
No abstract available
DOWNLOAD PAPER
Back Matter
Volume 31 contents.
Notre Dame J. Formal Logic 31 (4), 643-645, (Fall 1990) Open Access
No abstract available
DOWNLOAD PAPER
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 31, issue 4 (1990)
Notre Dame J. Formal Logic 31 (4), (Fall 1990) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top