Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 28 > Issue 3
Notre Dame Journal of Formal Logic
VOL. 28 · NO. 3 | July 1987
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 28, issue 3 (1987)
Notre Dame J. Formal Logic 28 (3), (July 1987)
No abstract available
DOWNLOAD PAPER
Articles
On the equivalence of proofs involving identity.
Glen Helman
Notre Dame J. Formal Logic 28 (3), 297-321, (July 1987) DOI: 10.1305/ndjfl/1093637554
KEYWORDS: 03F07
No abstract available
DOWNLOAD PAPER
Quantifier responsiveness.
Lawrence Powers
Notre Dame J. Formal Logic 28 (3), 322-355, (July 1987) DOI: 10.1305/ndjfl/1093637555
KEYWORDS: 03-03, 01A20, 01A35, 03B65
No abstract available
DOWNLOAD PAPER
Quantified modal logic and self-reference.
C. Smoryński
Notre Dame J. Formal Logic 28 (3), 356-370, (July 1987) DOI: 10.1305/ndjfl/1093637556
KEYWORDS: 03F40, 03B45
No abstract available
DOWNLOAD PAPER
A simplified natural deduction approach to certain modal systems.
Bangs L. Tapscott
Notre Dame J. Formal Logic 28 (3), 371-384, (July 1987) DOI: 10.1305/ndjfl/1093637557
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
Modal trees: correction to a decision procedure for ${\rm S5}$ (and ${\rm T}$).
A. Burrieza, Juan C. León
Notre Dame J. Formal Logic 28 (3), 385-391, (July 1987) DOI: 10.1305/ndjfl/1093637558
KEYWORDS: 03B45, 03B25
No abstract available
DOWNLOAD PAPER
More on trees and finite satisfiability: the taming of terms.
Miodrag Kapetanović, Aleksandar Krapež
Notre Dame J. Formal Logic 28 (3), 392-394, (July 1987) DOI: 10.1305/ndjfl/1093637559
KEYWORDS: 03B10, 03C13
No abstract available
DOWNLOAD PAPER
Reduced models for relevant logics without ${\rm WI}$.
John K. Slaney
Notre Dame J. Formal Logic 28 (3), 395-407, (July 1987) DOI: 10.1305/ndjfl/1093637560
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
A first-order logic with no logical constants.
Charles B. Daniels
Notre Dame J. Formal Logic 28 (3), 408-413, (July 1987) DOI: 10.1305/ndjfl/1093637561
KEYWORDS: 03B10
No abstract available
DOWNLOAD PAPER
Do we need models?
Philip Hugly, Charles Sayward
Notre Dame J. Formal Logic 28 (3), 414-422, (July 1987) DOI: 10.1305/ndjfl/1093637562
KEYWORDS: 03B10
No abstract available
DOWNLOAD PAPER
Other and else: restrictions on quantifier domains in game-theoretical semantics.
Michael Hand
Notre Dame J. Formal Logic 28 (3), 423-430, (July 1987) DOI: 10.1305/ndjfl/1093637563
KEYWORDS: 03B65
No abstract available
DOWNLOAD PAPER
A system of predicate logic with transatomic units.
Richard Butrick
Notre Dame J. Formal Logic 28 (3), 431-438, (July 1987) DOI: 10.1305/ndjfl/1093637564
KEYWORDS: 03B10
No abstract available
DOWNLOAD PAPER
The distribution of terms: a defense of the traditional doctrine.
Fred Wilson
Notre Dame J. Formal Logic 28 (3), 439-454, (July 1987) DOI: 10.1305/ndjfl/1093637565
KEYWORDS: 03B65
No abstract available
DOWNLOAD PAPER
A rationale for Aristotle's notion of perfect syllogisms.
Kevin L. Flannery
Notre Dame J. Formal Logic 28 (3), 455-471, (July 1987) DOI: 10.1305/ndjfl/1093637566
KEYWORDS: 03-03, 01A20, 03B20
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 28, issue 3 (1987)
Notre Dame J. Formal Logic 28 (3), (July 1987)
No abstract available
DOWNLOAD PAPER
Back to Top