Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 27 > Issue 1
Notre Dame Journal of Formal Logic
VOL. 27 · NO. 1 | January 1986
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 27, issue 1 (1986)
Notre Dame J. Formal Logic 27 (1), (January 1986) Open Access
No abstract available
DOWNLOAD PAPER
Articles
On the nonaxiomatizability of some logics by finitely many schemas.
Saharon Shelah, Charles Steinhorn
Notre Dame J. Formal Logic 27 (1), 1-11, (January 1986) DOI: 10.1305/ndjfl/1093636517 Open Access
KEYWORDS: 03C80, 03C52, 03C55
No abstract available
DOWNLOAD PAPER
A linearly ordered topological space that is not normal.
Melven Krom
Notre Dame J. Formal Logic 27 (1), 12-13, (January 1986) DOI: 10.1305/ndjfl/1093636518 Open Access
KEYWORDS: 03E25, 03E35, 03E65, 04A25, 54F05
No abstract available
DOWNLOAD PAPER
Analyticity and analytical truth.
Ermanno Bencivenga
Notre Dame J. Formal Logic 27 (1), 14-19, (January 1986) DOI: 10.1305/ndjfl/1093636519 Open Access
KEYWORDS: 03A05, 00A25, 03B60
No abstract available
DOWNLOAD PAPER
The logic of free acts and the powers of God.
Peter Forrest
Notre Dame J. Formal Logic 27 (1), 20-38, (January 1986) DOI: 10.1305/ndjfl/1093636520 Open Access
KEYWORDS: 03B45, 03A05, 03B60
No abstract available
DOWNLOAD PAPER
Stationary logic and its friends. II.
Alan H. Mekler, Saharon Shelah
Notre Dame J. Formal Logic 27 (1), 39-50, (January 1986) DOI: 10.1305/ndjfl/1093636521 Open Access
KEYWORDS: 03C80, 03C55, 03C95
No abstract available
DOWNLOAD PAPER
Implication and presupposition.
Robert J. Farrell
Notre Dame J. Formal Logic 27 (1), 51-61, (January 1986) DOI: 10.1305/ndjfl/1093636522 Open Access
KEYWORDS: 03B50, 03B65
No abstract available
DOWNLOAD PAPER
Czeżowski on wild quantity.
George Englebretsen
Notre Dame J. Formal Logic 27 (1), 62-65, (January 1986) DOI: 10.1305/ndjfl/1093636523 Open Access
KEYWORDS: 03A05, 03-03
No abstract available
DOWNLOAD PAPER
Solving functional equations at higher types: some examples and some theorems.
Richard Statman
Notre Dame J. Formal Logic 27 (1), 66-74, (January 1986) DOI: 10.1305/ndjfl/1093636524 Open Access
KEYWORDS: 03B40
No abstract available
DOWNLOAD PAPER
Notes on the mathematical aspects of Kripke's theory of truth.
Melvin Fitting
Notre Dame J. Formal Logic 27 (1), 75-88, (January 1986) DOI: 10.1305/ndjfl/1093636525 Open Access
KEYWORDS: 03A05
No abstract available
DOWNLOAD PAPER
Iterated images on manifolds.
Leon Harkleroad
Notre Dame J. Formal Logic 27 (1), 89-92, (January 1986) DOI: 10.1305/ndjfl/1093636526 Open Access
KEYWORDS: 03D45
No abstract available
DOWNLOAD PAPER
Syllogisms with statistical quantifiers.
Bruce E. R. Thompson
Notre Dame J. Formal Logic 27 (1), 93-103, (January 1986) DOI: 10.1305/ndjfl/1093636527 Open Access
KEYWORDS: 03B48, 03B65
No abstract available
DOWNLOAD PAPER
Singular/general.
George Englebretsen
Notre Dame J. Formal Logic 27 (1), 104-107, (January 1986) DOI: 10.1305/ndjfl/1093636528 Open Access
KEYWORDS: 03A05, 03B65
No abstract available
DOWNLOAD PAPER
Some failures of interpolation in modal logic.
George F. Schumm
Notre Dame J. Formal Logic 27 (1), 108-110, (January 1986) DOI: 10.1305/ndjfl/1093636529 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
The Hanf number of stationary logic.
Matt Kaufmann, Saharon Shelah
Notre Dame J. Formal Logic 27 (1), 111-123, (January 1986) DOI: 10.1305/ndjfl/1093636530 Open Access
KEYWORDS: 03C80
No abstract available
DOWNLOAD PAPER
A new axiomatization of Belnap's conditional assertion.
Daniel H. Cohen
Notre Dame J. Formal Logic 27 (1), 124-132, (January 1986) DOI: 10.1305/ndjfl/1093636531 Open Access
KEYWORDS: 03B50, 03B45
No abstract available
DOWNLOAD PAPER
Russell's first theory of denoting and quantification.
Paolo Dau
Notre Dame J. Formal Logic 27 (1), 133-166, (January 1986) DOI: 10.1305/ndjfl/1093636532 Open Access
KEYWORDS: 03A05, 01A60, 03-03, 03B65
No abstract available
DOWNLOAD PAPER
Back Matter
Errata for volume 26.
Notre Dame J. Formal Logic 27 (1), 167, (January 1986) Open Access
No abstract available
DOWNLOAD PAPER
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 27, issue 1 (1986)
Notre Dame J. Formal Logic 27 (1), (January 1986) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top