Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 21 > Issue 4
Notre Dame Journal of Formal Logic
VOL. 21 · NO. 4 | October 1980
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 21, issue 4 (1980)
Notre Dame J. Formal Logic 21 (4), (October 1980) Open Access
No abstract available
DOWNLOAD PAPER
Articles
Boole's criteria for validity and invalidity.
John Corcoran, Susan Wood
Notre Dame J. Formal Logic 21 (4), 609-638, (October 1980) DOI: 10.1305/ndjfl/1093883246 Open Access
KEYWORDS: 03-03, 01A55, 03B20
No abstract available
DOWNLOAD PAPER
An analysis of the subjunctive conditional.
Charles B. Daniels, James B. Freeman
Notre Dame J. Formal Logic 21 (4), 639-655, (October 1980) DOI: 10.1305/ndjfl/1093883247 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
Complexity of model-theoretic notions.
Russell W. Myers Jr.
Notre Dame J. Formal Logic 21 (4), 656-658, (October 1980) DOI: 10.1305/ndjfl/1093883248 Open Access
KEYWORDS: 03D35, 03C35, 03C50, 03D80
No abstract available
DOWNLOAD PAPER
First-degree entailments and information.
William H. Hanson
Notre Dame J. Formal Logic 21 (4), 659-671, (October 1980) DOI: 10.1305/ndjfl/1093883249 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
Congruences in Lemmon's ${\rm S}0.5$.
Jean Porte
Notre Dame J. Formal Logic 21 (4), 672-678, (October 1980) DOI: 10.1305/ndjfl/1093883250 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
Postscript: ``A note concerning the notion of mereological class''.
Czesław Lejewski
Notre Dame J. Formal Logic 21 (4), 679-682, (October 1980) DOI: 10.1305/ndjfl/1093883251 Open Access
KEYWORDS: 03E70, 03B99
No abstract available
DOWNLOAD PAPER
Location of some modal systems.
K. E. Pledger
Notre Dame J. Formal Logic 21 (4), 683-684, (October 1980) DOI: 10.1305/ndjfl/1093883252 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
An extension of the basic functionality theory for the $\lambda$-calculus.
M. Coppo, M. Dezani-Ciancaglini
Notre Dame J. Formal Logic 21 (4), 685-693, (October 1980) DOI: 10.1305/ndjfl/1093883253 Open Access
KEYWORDS: 03B40
No abstract available
DOWNLOAD PAPER
Every quotient algebra for $C_1$ is trivial.
Chris Mortensen
Notre Dame J. Formal Logic 21 (4), 694-700, (October 1980) DOI: 10.1305/ndjfl/1093883254 Open Access
KEYWORDS: 03B60, 03G25
No abstract available
DOWNLOAD PAPER
Predicate-functors and the limits of decidability in logic.
Aris Noah
Notre Dame J. Formal Logic 21 (4), 701-707, (October 1980) DOI: 10.1305/ndjfl/1093883255 Open Access
KEYWORDS: 03B40, 03B25, 03G15
No abstract available
DOWNLOAD PAPER
Number theory for the ordinals with a new definition for multiplication.
Harry Gonshor
Notre Dame J. Formal Logic 21 (4), 708-710, (October 1980) DOI: 10.1305/ndjfl/1093883256 Open Access
KEYWORDS: 04A10
No abstract available
DOWNLOAD PAPER
Three existence principles in a modal calculus without descriptions contained in A. Bressan's ${\rm MC}^\nu$.
Eugenio Giovanni Omodeo
Notre Dame J. Formal Logic 21 (4), 711-727, (October 1980) DOI: 10.1305/ndjfl/1093883257 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
A second corrigendum to my paper: ``Note on definitional reductions''.
Jonathan P. Seldin
Notre Dame J. Formal Logic 21 (4), 728, (October 1980) DOI: 10.1305/ndjfl/1093883258 Open Access
KEYWORDS: 03B99
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 21, issue 4 (1980)
Notre Dame J. Formal Logic 21 (4), (October 1980) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top