Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 20 > Issue 3
Notre Dame Journal of Formal Logic
VOL. 20 · NO. 3 | July 1979
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 20, issue 3 (1979)
Notre Dame J. Formal Logic 20 (3), (July 1979) Open Access
No abstract available
DOWNLOAD PAPER
Articles
Defining general structures.
Jack C. Boudreaux
Notre Dame J. Formal Logic 20 (3), 465-488, (July 1979) DOI: 10.1305/ndjfl/1093882654 Open Access
KEYWORDS: 03B15, 03C85
No abstract available
DOWNLOAD PAPER
The strong future tense.
Storrs McCall
Notre Dame J. Formal Logic 20 (3), 489-504, (July 1979) DOI: 10.1305/ndjfl/1093882655 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
The theory of homogeneous simple types as a second-order logic.
Nino B. Cocchiarella
Notre Dame J. Formal Logic 20 (3), 505-524, (July 1979) DOI: 10.1305/ndjfl/1093882656 Open Access
KEYWORDS: 03E70, 03B15, 03E25, 03E35
No abstract available
DOWNLOAD PAPER
Necessary and contingent deduction.
Anton Dumitriu
Notre Dame J. Formal Logic 20 (3), 525-534, (July 1979) DOI: 10.1305/ndjfl/1093882657 Open Access
KEYWORDS: 03A05, 01A20, 01A35, 03-03
No abstract available
DOWNLOAD PAPER
Gödel's proof and the liar paradox.
Jill Humphries
Notre Dame J. Formal Logic 20 (3), 535-544, (July 1979) DOI: 10.1305/ndjfl/1093882658 Open Access
KEYWORDS: 03A05, 03B30
No abstract available
DOWNLOAD PAPER
A second deduction theorem for rejection theses in Ł ukasiewicz's system of modal logic.
Stanley J. Krolikoski
Notre Dame J. Formal Logic 20 (3), 545-548, (July 1979) DOI: 10.1305/ndjfl/1093882659 Open Access
KEYWORDS: 03B50, 03B45
No abstract available
DOWNLOAD PAPER
Metalogical cliches (proto-variables) and their restricted substitution in sixth century Buddhist logic.
Douglas Dunsmore Daye
Notre Dame J. Formal Logic 20 (3), 549-558, (July 1979) DOI: 10.1305/ndjfl/1093882660 Open Access
KEYWORDS: 03-03, 01A32
No abstract available
DOWNLOAD PAPER
On the possibility of epistemic logic.
Earl McLane
Notre Dame J. Formal Logic 20 (3), 559-574, (July 1979) DOI: 10.1305/ndjfl/1093882661 Open Access
KEYWORDS: 03B45, 03A05
No abstract available
DOWNLOAD PAPER
Intended model theory.
Albert Sweet
Notre Dame J. Formal Logic 20 (3), 575-592, (July 1979) DOI: 10.1305/ndjfl/1093882662 Open Access
KEYWORDS: 03C90, 03B60
No abstract available
DOWNLOAD PAPER
${\rm S}5$ without modal axioms.
John Williamson
Notre Dame J. Formal Logic 20 (3), 593-594, (July 1979) DOI: 10.1305/ndjfl/1093882663 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
A semantical account of the vicious circle principle.
Philip Hugly, Charles Sayward
Notre Dame J. Formal Logic 20 (3), 595-598, (July 1979) DOI: 10.1305/ndjfl/1093882664 Open Access
KEYWORDS: 03B20, 03A05
No abstract available
DOWNLOAD PAPER
A matrix decision procedure for three modal logics.
Adrian Larner
Notre Dame J. Formal Logic 20 (3), 599-602, (July 1979) DOI: 10.1305/ndjfl/1093882665 Open Access
KEYWORDS: 03B45, 03B25
No abstract available
DOWNLOAD PAPER
On the equivalence of systems of rules and systems of axioms in illative combinatory logic.
M. W. Bunder
Notre Dame J. Formal Logic 20 (3), 603-608, (July 1979) DOI: 10.1305/ndjfl/1093882666 Open Access
KEYWORDS: 03B40
No abstract available
DOWNLOAD PAPER
Scott's models and illative combinatory logic.
M. W. Bunder
Notre Dame J. Formal Logic 20 (3), 609-612, (July 1979) DOI: 10.1305/ndjfl/1093882667 Open Access
KEYWORDS: 03B40
No abstract available
DOWNLOAD PAPER
Alternative forms of propositional calculus for a given deduction theorem.
M. W. Bunder
Notre Dame J. Formal Logic 20 (3), 613-619, (July 1979) DOI: 10.1305/ndjfl/1093882668 Open Access
KEYWORDS: 03B40
No abstract available
DOWNLOAD PAPER
Generalized restricted generality.
M. W. Bunder
Notre Dame J. Formal Logic 20 (3), 620-624, (July 1979) DOI: 10.1305/ndjfl/1093882669 Open Access
KEYWORDS: 03B40
No abstract available
DOWNLOAD PAPER
A modal natural deduction system for ${\rm S}4$.
O. A. Robinson
Notre Dame J. Formal Logic 20 (3), 625-627, (July 1979) DOI: 10.1305/ndjfl/1093882670 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
$\Lambda$-elimination in illative combinatory logic.
M. W. Bunder
Notre Dame J. Formal Logic 20 (3), 628-630, (July 1979) DOI: 10.1305/ndjfl/1093882671 Open Access
KEYWORDS: 03B40
No abstract available
DOWNLOAD PAPER
Beyond nonnormal possible worlds.
Arnold vander Nat
Notre Dame J. Formal Logic 20 (3), 631-635, (July 1979) DOI: 10.1305/ndjfl/1093882672 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
A note on Peirce on Boole's algebra of logic.
Emily Michael
Notre Dame J. Formal Logic 20 (3), 636-638, (July 1979) DOI: 10.1305/ndjfl/1093882673 Open Access
KEYWORDS: 03-03, 01A55
No abstract available
DOWNLOAD PAPER
A note on $p=mv$.
Michael E. Levin
Notre Dame J. Formal Logic 20 (3), 639-646, (July 1979) DOI: 10.1305/ndjfl/1093882674 Open Access
KEYWORDS: 03A05
No abstract available
DOWNLOAD PAPER
Modal interpretations of three-valued logics. I.
Michael J. Duffy
Notre Dame J. Formal Logic 20 (3), 647-657, (July 1979) DOI: 10.1305/ndjfl/1093882675 Open Access
KEYWORDS: 03B50
No abstract available
DOWNLOAD PAPER
Modal interpretations of three-valued logics. II.
Michael J. Duffy
Notre Dame J. Formal Logic 20 (3), 658-673, (July 1979) DOI: 10.1305/ndjfl/1093882676 Open Access
KEYWORDS: 03B50
No abstract available
DOWNLOAD PAPER
Two basic pure-implicational systems.
J. Jay Zeman
Notre Dame J. Formal Logic 20 (3), 674-684, (July 1979) DOI: 10.1305/ndjfl/1093882677 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
Normal implications, bounded posets, and the existence of meets.
J. Jay Zeman
Notre Dame J. Formal Logic 20 (3), 685-688, (July 1979) DOI: 10.1305/ndjfl/1093882678 Open Access
KEYWORDS: 03B45, 03G10, 06A12
No abstract available
DOWNLOAD PAPER
On the necessity of ${\rm S}4$.
Kwasi Wiredu
Notre Dame J. Formal Logic 20 (3), 689-694, (July 1979) DOI: 10.1305/ndjfl/1093882679 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
Deduction theorems in significance logics.
M. W. Bunder
Notre Dame J. Formal Logic 20 (3), 695-700, (July 1979) DOI: 10.1305/ndjfl/1093882680 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
A more relevant relevance logic.
M. W. Bunder
Notre Dame J. Formal Logic 20 (3), 701-704, (July 1979) DOI: 10.1305/ndjfl/1093882681 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 20, issue 3 (1979)
Notre Dame J. Formal Logic 20 (3), (July 1979) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top