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) Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top