Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 31 > Issue 1
Notre Dame Journal of Formal Logic
VOL. 31 · NO. 1 | Winter 1990
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 31, issue 1 (1990)
Notre Dame J. Formal Logic 31 (1), (Winter 1990) Open Access
No abstract available
DOWNLOAD PAPER
Articles
The nonaxiomatizability of $L(Q^2_{\aleph_1})$ by finitely many schemata.
Saharon Shelah, Charles Steinhorn
Notre Dame J. Formal Logic 31 (1), 1-13, (Winter 1990) DOI: 10.1305/ndjfl/1093635328 Open Access
KEYWORDS: 03C80
No abstract available
DOWNLOAD PAPER
Linear logic displayed.
Nuel Belnap
Notre Dame J. Formal Logic 31 (1), 14-25, (Winter 1990) DOI: 10.1305/ndjfl/1093635329 Open Access
KEYWORDS: 03F05, 03B45, 03B60, 03B70
No abstract available
DOWNLOAD PAPER
Characters and fixed-points in provability logic.
Zachary Gleit, Warren Goldfarb
Notre Dame J. Formal Logic 31 (1), 26-36, (Winter 1990) DOI: 10.1305/ndjfl/1093635330 Open Access
KEYWORDS: 03B45, 03F25
No abstract available
DOWNLOAD PAPER
A new proof of the fixed-point theorem of provability logic.
Lisa Reidhaar-Olson
Notre Dame J. Formal Logic 31 (1), 37-43, (Winter 1990) DOI: 10.1305/ndjfl/1093635331 Open Access
KEYWORDS: 03B45, 03F40
No abstract available
DOWNLOAD PAPER
A simplification of the completeness proofs for Guaspari and Solovay's ${\rm R}$.
Frans Voorbraak
Notre Dame J. Formal Logic 31 (1), 44-63, (Winter 1990) DOI: 10.1305/ndjfl/1093635332 Open Access
KEYWORDS: 03B45, 03F30, 03F40
No abstract available
DOWNLOAD PAPER
The Fraenkel-Mostowski method, revisited.
Norbert Brunner
Notre Dame J. Formal Logic 31 (1), 64-75, (Winter 1990) DOI: 10.1305/ndjfl/1093635333 Open Access
KEYWORDS: 03E25, 03E30, 03E35, 04A25
No abstract available
DOWNLOAD PAPER
Motivation and demotivation of a four-valued logic.
John Fox
Notre Dame J. Formal Logic 31 (1), 76-80, (Winter 1990) DOI: 10.1305/ndjfl/1093635334 Open Access
KEYWORDS: 03B50, 03B46
No abstract available
DOWNLOAD PAPER
Modal definability in enriched languages.
Valentin Goranko
Notre Dame J. Formal Logic 31 (1), 81-105, (Winter 1990) DOI: 10.1305/ndjfl/1093635335 Open Access
KEYWORDS: 03B15, 03B45, 03C20, 03C35, 03C40
No abstract available
DOWNLOAD PAPER
Predication in the logic terms.
Fred Sommers
Notre Dame J. Formal Logic 31 (1), 106-126, (Winter 1990) DOI: 10.1305/ndjfl/1093635336 Open Access
KEYWORDS: 03B20, 03G25
No abstract available
DOWNLOAD PAPER
Gentzenizing Schroeder-Heister's natural extension of natural deduction.
Arnon Avron
Notre Dame J. Formal Logic 31 (1), 127-135, (Winter 1990) DOI: 10.1305/ndjfl/1093635337 Open Access
KEYWORDS: 03F05, 03B15
No abstract available
DOWNLOAD PAPER
Defining ``good'' and ``bad'' in terms of ``better''.
Sven Ove Hansson
Notre Dame J. Formal Logic 31 (1), 136-149, (Winter 1990) DOI: 10.1305/ndjfl/1093635338 Open Access
KEYWORDS: 03B45, 03B65
No abstract available
DOWNLOAD PAPER
Reviews
Book review: John Bell. Introduction to toposes and local set theory.
Colin McLarty
Notre Dame J. Formal Logic 31 (1), 150-161, (Winter 1990) DOI: 10.1305/ndjfl/1093635339 Open Access
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 31, issue 1 (1990)
Notre Dame J. Formal Logic 31 (1), (Winter 1990) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top