Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 29 > Issue 1
Notre Dame Journal of Formal Logic
VOL. 29 · NO. 1 | Winter 1988
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 29, issue 1 (1988)
Notre Dame J. Formal Logic 29 (1), (Winter 1988) Open Access
No abstract available
DOWNLOAD PAPER
Articles
Some notes on iterated forcing with $2^{\aleph_0}>\aleph_2$.
Saharon Shelah
Notre Dame J. Formal Logic 29 (1), 1-17, (Winter 1988) DOI: 10.1305/ndjfl/1093637766 Open Access
KEYWORDS: 03E40, 03E50
No abstract available
DOWNLOAD PAPER
Constructive predicate logic with strong negation and model theory.
Seiki Akama
Notre Dame J. Formal Logic 29 (1), 18-27, (Winter 1988) DOI: 10.1305/ndjfl/1093637767 Open Access
KEYWORDS: 03B60, 03C90
No abstract available
DOWNLOAD PAPER
Infinite truth-functional logic.
Theodore Hailperin
Notre Dame J. Formal Logic 29 (1), 28-33, (Winter 1988) DOI: 10.1305/ndjfl/1093637768 Open Access
KEYWORDS: 03C75, 03B10
No abstract available
DOWNLOAD PAPER
Relevance and disjunctive syllogism.
Peter Lavers
Notre Dame J. Formal Logic 29 (1), 34-44, (Winter 1988) DOI: 10.1305/ndjfl/1093637769 Open Access
KEYWORDS: 03B45, 03A05
No abstract available
DOWNLOAD PAPER
Inconsistent number systems.
Chris Mortensen
Notre Dame J. Formal Logic 29 (1), 45-60, (Winter 1988) DOI: 10.1305/ndjfl/1093637770 Open Access
KEYWORDS: 03B45, 03C62, 03F30
No abstract available
DOWNLOAD PAPER
Operational semantics for positive ${\rm R}$.
I. L. Humberstone
Notre Dame J. Formal Logic 29 (1), 61-80, (Winter 1988) DOI: 10.1305/ndjfl/1093637771 Open Access
KEYWORDS: 03B45, 03G25
No abstract available
DOWNLOAD PAPER
De re and de dicto.
Thomas Jager
Notre Dame J. Formal Logic 29 (1), 81-90, (Winter 1988) DOI: 10.1305/ndjfl/1093637772 Open Access
KEYWORDS: 03B45, 03B65, 03C80
No abstract available
DOWNLOAD PAPER
The problem of counterpossibles.
Daniel H. Cohen
Notre Dame J. Formal Logic 29 (1), 91-101, (Winter 1988) DOI: 10.1305/ndjfl/1093637773 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
The modal status of antinomies.
Gert-Jan C. Lokhorst
Notre Dame J. Formal Logic 29 (1), 102-105, (Winter 1988) DOI: 10.1305/ndjfl/1093637774 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
The number of nonnormal extensions of ${\rm S4}$.
George F. Schumm
Notre Dame J. Formal Logic 29 (1), 106-108, (Winter 1988) DOI: 10.1305/ndjfl/1093637775 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic.
J.-J. Ch. Meyer
Notre Dame J. Formal Logic 29 (1), 109-136, (Winter 1988) DOI: 10.1305/ndjfl/1093637776 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
A five-valued model of the $E$-$p$-$q$-theses.
Dolph Ulrich
Notre Dame J. Formal Logic 29 (1), 137-138, (Winter 1988) DOI: 10.1305/ndjfl/1093637777 Open Access
KEYWORDS: 03B05
No abstract available
DOWNLOAD PAPER
The Nyāya on double negation.
J. L. Shaw
Notre Dame J. Formal Logic 29 (1), 139-154, (Winter 1988) DOI: 10.1305/ndjfl/1093637778 Open Access
KEYWORDS: 03A05, 01A32, 03-03
No abstract available
DOWNLOAD PAPER
Are enthymemes arguments?
Roy A. Sorensen
Notre Dame J. Formal Logic 29 (1), 155-159, (Winter 1988) DOI: 10.1305/ndjfl/1093637779 Open Access
KEYWORDS: 03A05
No abstract available
DOWNLOAD PAPER
Reviews
Book review: Collected works, Vol. I [Oxford Univ. Press, New York, 1986] by K. Gödel.
Georg Kreisel
Notre Dame J. Formal Logic 29 (1), 160-181, (Winter 1988) DOI: 10.1305/ndjfl/1093637780 Open Access
KEYWORDS: 01A60, 03-03, 03A05
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 29, issue 1 (1988)
Notre Dame J. Formal Logic 29 (1), (Winter 1988) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top