Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 21 > Issue 3
Notre Dame Journal of Formal Logic
VOL. 21 · NO. 3 | July 1980
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 21, issue 3 (1980)
Notre Dame J. Formal Logic 21 (3), (July 1980) Open Access
No abstract available
DOWNLOAD PAPER
Articles
Nominalism and conceptualism as predicative second-order theories of predication.
Nino Cocchiarella
Notre Dame J. Formal Logic 21 (3), 481-500, (July 1980) DOI: 10.1305/ndjfl/1093883172 Open Access
KEYWORDS: 03B15, 03A05, 03C85
No abstract available
DOWNLOAD PAPER
Word problems for bidirectional, single-premise Post systems.
Charles E. Hughes, David W. Straight
Notre Dame J. Formal Logic 21 (3), 501-508, (July 1980) DOI: 10.1305/ndjfl/1093883173 Open Access
KEYWORDS: 03D30, 03D03, 03D40
No abstract available
DOWNLOAD PAPER
A completeness-proof method for extensions of the implicational fragment of the propositional calculus.
Diderik Batens
Notre Dame J. Formal Logic 21 (3), 509-517, (July 1980) DOI: 10.1305/ndjfl/1093883174 Open Access
KEYWORDS: 03B20, 03B60
No abstract available
DOWNLOAD PAPER
Solution to a problem of Chang and Lee.
Richard Statman
Notre Dame J. Formal Logic 21 (3), 518-520, (July 1980) DOI: 10.1305/ndjfl/1093883175 Open Access
KEYWORDS: 03B35, 68G15
No abstract available
DOWNLOAD PAPER
Inexact geometry.
M. Katz
Notre Dame J. Formal Logic 21 (3), 521-535, (July 1980) DOI: 10.1305/ndjfl/1093883176 Open Access
KEYWORDS: 03B30, 51F99
No abstract available
DOWNLOAD PAPER
Functional completeness and non-Ł ukasiewiczian truth functions.
Herbert E. Hendry
Notre Dame J. Formal Logic 21 (3), 536-538, (July 1980) DOI: 10.1305/ndjfl/1093883177 Open Access
KEYWORDS: 03B50
No abstract available
DOWNLOAD PAPER
Career induction for quantifiers.
Robert K. Meyer
Notre Dame J. Formal Logic 21 (3), 539-548, (July 1980) DOI: 10.1305/ndjfl/1093883178 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
A three-valued free logic for presuppositional languages.
Robert J. Cosgrove Jr.
Notre Dame J. Formal Logic 21 (3), 549-571, (July 1980) DOI: 10.1305/ndjfl/1093883179 Open Access
KEYWORDS: 03B50, 03B45
No abstract available
DOWNLOAD PAPER
A weak free logic with the existence sign.
Ermanno Bencivenga
Notre Dame J. Formal Logic 21 (3), 572-576, (July 1980) DOI: 10.1305/ndjfl/1093883180 Open Access
KEYWORDS: 03B10
No abstract available
DOWNLOAD PAPER
Equivalence relations and ${\rm S}5$.
G. E. Hughes
Notre Dame J. Formal Logic 21 (3), 577-584, (July 1980) DOI: 10.1305/ndjfl/1093883181 Open Access
KEYWORDS: 03B45, 03B10
No abstract available
DOWNLOAD PAPER
On self-sustenance in systems of epistemic logic.
Robert J. Titiev
Notre Dame J. Formal Logic 21 (3), 585-590, (July 1980) DOI: 10.1305/ndjfl/1093883182 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
Eventual permanence.
Michael Byrd
Notre Dame J. Formal Logic 21 (3), 591-601, (July 1980) DOI: 10.1305/ndjfl/1093883183 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
Noncategorical syllogisms in the Analytics.
George Englebretsen
Notre Dame J. Formal Logic 21 (3), 602-608, (July 1980) DOI: 10.1305/ndjfl/1093883184 Open Access
KEYWORDS: 03B20, 01A20, 01A35, 03-03, 03A05
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 21, issue 3 (1980)
Notre Dame J. Formal Logic 21 (3), (July 1980) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top