Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 25 > Issue 1
Notre Dame Journal of Formal Logic
VOL. 25 · NO. 1 | January 1984
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 25, issue 1 (1984)
Notre Dame J. Formal Logic 25 (1), (January 1984) Open Access
No abstract available
DOWNLOAD PAPER
Articles
Tense logic and time.
Johan van Benthem
Notre Dame J. Formal Logic 25 (1), 1-16, (January 1984) DOI: 10.1305/ndjfl/1093870515 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
Decomposable collections of sets.
Barry Burd
Notre Dame J. Formal Logic 25 (1), 17-26, (January 1984) DOI: 10.1305/ndjfl/1093870516 Open Access
KEYWORDS: 04A20, 03C75
No abstract available
DOWNLOAD PAPER
The nature of reflexive paradoxes. II.
Leonard Goddard
Notre Dame J. Formal Logic 25 (1), 27-58, (January 1984) DOI: 10.1305/ndjfl/1093870517 Open Access
KEYWORDS: 03A05, 03B10, 03B30
No abstract available
DOWNLOAD PAPER
The necessity of the past and modal-tense logic incompleteness.
Michael J. White
Notre Dame J. Formal Logic 25 (1), 59-71, (January 1984) DOI: 10.1305/ndjfl/1093870518 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
Vector spaces and binary quantifiers.
Michał Krynicki, Alistair Lachlan, Jouko Väänänen
Notre Dame J. Formal Logic 25 (1), 72-78, (January 1984) DOI: 10.1305/ndjfl/1093870519 Open Access
KEYWORDS: 03C80, 15A03
No abstract available
DOWNLOAD PAPER
Opposition.
George Englebretsen
Notre Dame J. Formal Logic 25 (1), 79-85, (January 1984) DOI: 10.1305/ndjfl/1093870520 Open Access
KEYWORDS: 03B20, 03A05
No abstract available
DOWNLOAD PAPER
First-order theories as many-sorted algebras.
V. Manca, A. Salibra
Notre Dame J. Formal Logic 25 (1), 86-94, (January 1984) DOI: 10.1305/ndjfl/1093870521 Open Access
KEYWORDS: 03G25
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 25, issue 1 (1984)
Notre Dame J. Formal Logic 25 (1), (January 1984) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top