Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 23 > Issue 1
Notre Dame Journal of Formal Logic
VOL. 23 · NO. 1 | January 1982
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 23, issue 1 (1982)
Notre Dame J. Formal Logic 23 (1), (January 1982) Open Access
No abstract available
DOWNLOAD PAPER
Articles
When is a fallacy valid? Reflections on backward reasoning.
Romane Clark
Notre Dame J. Formal Logic 23 (1), 1-13, (January 1982) DOI: 10.1305/ndjfl/1093883560 Open Access
KEYWORDS: 03A05, 00A25, 03B60
No abstract available
DOWNLOAD PAPER
Acceptable notation.
Stewart Shapiro
Notre Dame J. Formal Logic 23 (1), 14-20, (January 1982) DOI: 10.1305/ndjfl/1093883561 Open Access
KEYWORDS: 03D10, 00A25, 03D20
No abstract available
DOWNLOAD PAPER
On the number of nonisomorphic models in $L_{\infty ,\kappa }$ when $\kappa $ is weakly compact.
Saharon Shelah
Notre Dame J. Formal Logic 23 (1), 21-26, (January 1982) DOI: 10.1305/ndjfl/1093883562 Open Access
KEYWORDS: 03C80, 03C55, 03C75
No abstract available
DOWNLOAD PAPER
Abailard's theory of universals.
J. Christopher Maloney
Notre Dame J. Formal Logic 23 (1), 27-38, (January 1982) DOI: 10.1305/ndjfl/1093883563 Open Access
KEYWORDS: 01A35, 03A05
No abstract available
DOWNLOAD PAPER
Elementary formal systems as a framework for relative recursion theory.
Bruce M. Horowitz
Notre Dame J. Formal Logic 23 (1), 39-52, (January 1982) DOI: 10.1305/ndjfl/1093883564 Open Access
KEYWORDS: 03D25, 03D20
No abstract available
DOWNLOAD PAPER
Generalized ${\rm S}2$-like systems of propositional modal logic.
Mark A. Brown
Notre Dame J. Formal Logic 23 (1), 53-61, (January 1982) DOI: 10.1305/ndjfl/1093883565 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
Illative combinatory logic without equality as a primitive predicate.
M. W. Bunder
Notre Dame J. Formal Logic 23 (1), 62-70, (January 1982) DOI: 10.1305/ndjfl/1093883566 Open Access
KEYWORDS: 03B40
No abstract available
DOWNLOAD PAPER
A result on propositional logics having the disjunction property.
Robert E. Kirk
Notre Dame J. Formal Logic 23 (1), 71-74, (January 1982) DOI: 10.1305/ndjfl/1093883567 Open Access
KEYWORDS: 03B55
No abstract available
DOWNLOAD PAPER
Syllogisms using ``few'', ``many'', and ``most''.
Bruce Thompson
Notre Dame J. Formal Logic 23 (1), 75-84, (January 1982) DOI: 10.1305/ndjfl/1093883568 Open Access
KEYWORDS: 03B65
No abstract available
DOWNLOAD PAPER
Model structures and set algebras for Sugihara matrices.
Chris Mortensen
Notre Dame J. Formal Logic 23 (1), 85-90, (January 1982) DOI: 10.1305/ndjfl/1093883569 Open Access
KEYWORDS: 03B45, 03B50
No abstract available
DOWNLOAD PAPER
Do we need relative identity?
George Englebretsen
Notre Dame J. Formal Logic 23 (1), 91-93, (January 1982) DOI: 10.1305/ndjfl/1093883570 Open Access
KEYWORDS: 03B60, 03A05
No abstract available
DOWNLOAD PAPER
Back Matter
Errata for volumes 21 and 22.
Notre Dame J. Formal Logic 23 (1), 94, (January 1982) Open Access
No abstract available
DOWNLOAD PAPER
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 23, issue 1 (1982)
Notre Dame J. Formal Logic 23 (1), (January 1982) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top