Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 14 > Issue 1
Notre Dame Journal of Formal Logic
VOL. 14 · NO. 1 | January 1973
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 14, issue 1 (1973)
Notre Dame J. Formal Logic 14 (1), (January 1973) Open Access
No abstract available
DOWNLOAD PAPER
Articles
Axiomatic inscriptional syntax. Part II. The syntax of protothetic.
V. Frederick Rickey
Notre Dame J. Formal Logic 14 (1), 1-52, (January 1973) DOI: 10.1305/ndjfl/1093890806 Open Access
KEYWORDS: 02C99
No abstract available
DOWNLOAD PAPER
A generalised Kleene-Rosser paradox for a system containing the combinator K.
M. W. Bunder
Notre Dame J. Formal Logic 14 (1), 53-54, (January 1973) DOI: 10.1305/ndjfl/1093890807 Open Access
KEYWORDS: 02F43
No abstract available
DOWNLOAD PAPER
A contribution to the study of extended mereologies.
Czesław Lejewski
Notre Dame J. Formal Logic 14 (1), 55-67, (January 1973) DOI: 10.1305/ndjfl/1093890808 Open Access
KEYWORDS: 02C99, 02G10
No abstract available
DOWNLOAD PAPER
Tolerance geometry.
Fred S. Roberts
Notre Dame J. Formal Logic 14 (1), 68-76, (January 1973) DOI: 10.1305/ndjfl/1093890809 Open Access
KEYWORDS: 02G15
No abstract available
DOWNLOAD PAPER
An extension of Venn diagrams.
P. J. Fitzpatrick
Notre Dame J. Formal Logic 14 (1), 77-86, (January 1973) DOI: 10.1305/ndjfl/1093890810 Open Access
KEYWORDS: 02B05, 02-01
No abstract available
DOWNLOAD PAPER
The cosubstitution condition.
J. C. Muzio
Notre Dame J. Formal Logic 14 (1), 87-94, (January 1973) DOI: 10.1305/ndjfl/1093890811 Open Access
KEYWORDS: 02C05
No abstract available
DOWNLOAD PAPER
Diagonalization and the recursion theorem.
James C. Owings Jr.
Notre Dame J. Formal Logic 14 (1), 95-99, (January 1973) DOI: 10.1305/ndjfl/1093890812 Open Access
KEYWORDS: 02F99
No abstract available
DOWNLOAD PAPER
A note on a theorem of C. Yates.
William D. Jackson
Notre Dame J. Formal Logic 14 (1), 100-102, (January 1973) DOI: 10.1305/ndjfl/1093890813 Open Access
KEYWORDS: 02F99
No abstract available
DOWNLOAD PAPER
On a property of certain propositional formulae.
David Meredith
Notre Dame J. Formal Logic 14 (1), 103-106, (January 1973) DOI: 10.1305/ndjfl/1093890814 Open Access
KEYWORDS: 02B05
No abstract available
DOWNLOAD PAPER
A set-theoretic model for nonassociative number theory.
D. Bollman, M. Laplaza
Notre Dame J. Formal Logic 14 (1), 107-110, (January 1973) DOI: 10.1305/ndjfl/1093890815 Open Access
KEYWORDS: 02K15, 17E05
No abstract available
DOWNLOAD PAPER
Remark about the Boolean parts in the postulate-systems of closure, derivative and projective algebras.
Bolesław Sobociński
Notre Dame J. Formal Logic 14 (1), 111-117, (January 1973) DOI: 10.1305/ndjfl/1093890816 Open Access
KEYWORDS: 02J15
No abstract available
DOWNLOAD PAPER
A note on omitting the replacement schema.
A. Bundy
Notre Dame J. Formal Logic 14 (1), 118-120, (January 1973) DOI: 10.1305/ndjfl/1093890817 Open Access
KEYWORDS: 02F20
No abstract available
DOWNLOAD PAPER
On some models of modal logics.
R. J. Baxter
Notre Dame J. Formal Logic 14 (1), 121-122, (January 1973) DOI: 10.1305/ndjfl/1093890818 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
Effective extendability and fixed points.
Thomas H. Payne
Notre Dame J. Formal Logic 14 (1), 123-124, (January 1973) DOI: 10.1305/ndjfl/1093890819 Open Access
KEYWORDS: 02F20
No abstract available
DOWNLOAD PAPER
A non-standard proof in the theory of integration.
E. William Chapin Jr., S. Michael Webb
Notre Dame J. Formal Logic 14 (1), 125-128, (January 1973) DOI: 10.1305/ndjfl/1093890820 Open Access
KEYWORDS: 26A42, 02H25
No abstract available
DOWNLOAD PAPER
A note on Newman's algebraic systems.
Bołeslaw Sobociński
Notre Dame J. Formal Logic 14 (1), 129-133, (January 1973) DOI: 10.1305/ndjfl/1093890821 Open Access
KEYWORDS: 02J99
No abstract available
DOWNLOAD PAPER
Formation sequences for propositional formulas.
Martin M. Zuckerman
Notre Dame J. Formal Logic 14 (1), 134-138, (January 1973) DOI: 10.1305/ndjfl/1093890822 Open Access
KEYWORDS: 02B05
No abstract available
DOWNLOAD PAPER
A note on implicative models.
E. L. Marsden
Notre Dame J. Formal Logic 14 (1), 139-144, (January 1973) DOI: 10.1305/ndjfl/1093890823 Open Access
KEYWORDS: 02C99, 02J05
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 14, issue 1 (1973)
Notre Dame J. Formal Logic 14 (1), (January 1973) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top