Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 13 > Issue 1
Notre Dame Journal of Formal Logic
VOL. 13 · NO. 1 | January 1972
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 13, issue 1 (1972)
Notre Dame J. Formal Logic 13 (1), (January 1972) Open Access
No abstract available
DOWNLOAD PAPER
Articles
Axiomatic inscriptional syntax. I. General syntax.
V. Frederick Rickey
Notre Dame J. Formal Logic 13 (1), 1-33, (January 1972) DOI: 10.1305/ndjfl/1093894621 Open Access
KEYWORDS: 02B99, 02A05
No abstract available
DOWNLOAD PAPER
The treatment of semantic paradoxes from 1400 to 1700.
E. J. Ashworth
Notre Dame J. Formal Logic 13 (1), 34-52, (January 1972) DOI: 10.1305/ndjfl/1093894622 Open Access
KEYWORDS: 02-03, 01A40
No abstract available
DOWNLOAD PAPER
Examination of the axiomatic foundations of a theory of change. V.
Laurent Larouche
Notre Dame J. Formal Logic 13 (1), 53-68, (January 1972) DOI: 10.1305/ndjfl/1093894623 Open Access
KEYWORDS: 02C99
No abstract available
DOWNLOAD PAPER
Syllogistic with complex terms.
A. J. Baker
Notre Dame J. Formal Logic 13 (1), 69-87, (January 1972) DOI: 10.1305/ndjfl/1093894624 Open Access
KEYWORDS: 02C99
No abstract available
DOWNLOAD PAPER
Note on inductive finiteness in mereology.
Robert E. Clay
Notre Dame J. Formal Logic 13 (1), 88-90, (January 1972) DOI: 10.1305/ndjfl/1093894625 Open Access
KEYWORDS: 02C99
No abstract available
DOWNLOAD PAPER
Weierstrass's final theorem of arithmetic is not final.
F. G. Asenjo, J. M. McKean
Notre Dame J. Formal Logic 13 (1), 91-94, (January 1972) DOI: 10.1305/ndjfl/1093894626 Open Access
KEYWORDS: 02H25, 12L99
No abstract available
DOWNLOAD PAPER
The name solid as primitive in projective geometry.
Theodore F. Sullivan
Notre Dame J. Formal Logic 13 (1), 95-97, (January 1972) DOI: 10.1305/ndjfl/1093894627 Open Access
KEYWORDS: 02H15, 50A25
No abstract available
DOWNLOAD PAPER
A note on immune sets.
John W. Berry
Notre Dame J. Formal Logic 13 (1), 98-100, (January 1972) DOI: 10.1305/ndjfl/1093894628 Open Access
KEYWORDS: 02F25
No abstract available
DOWNLOAD PAPER
Additional note on lattice-theoretical form of Hauber's law.
Bolesław Sobociński
Notre Dame J. Formal Logic 13 (1), 101-102, (January 1972) DOI: 10.1305/ndjfl/1093894629 Open Access
KEYWORDS: 06A30, 02J05
No abstract available
DOWNLOAD PAPER
A note on $\pi^1_1$ ordinals.
Frederick S. Gass
Notre Dame J. Formal Logic 13 (1), 103-104, (January 1972) DOI: 10.1305/ndjfl/1093894630 Open Access
KEYWORDS: 02F27
No abstract available
DOWNLOAD PAPER
Moore's proposition $W$.
James Cargile
Notre Dame J. Formal Logic 13 (1), 105-117, (January 1972) DOI: 10.1305/ndjfl/1093894631 Open Access
No abstract available
DOWNLOAD PAPER
${\rm S}4.6$ is ${\rm S}4.9$.
J. Jay Zeman
Notre Dame J. Formal Logic 13 (1), 118, (January 1972) DOI: 10.1305/ndjfl/1093894632 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
Certain sets of postulates for distributive lattices with the constant elements.
Bolesław Sobociński
Notre Dame J. Formal Logic 13 (1), 119-123, (January 1972) DOI: 10.1305/ndjfl/1093894633 Open Access
KEYWORDS: 02J05
No abstract available
DOWNLOAD PAPER
On the recursive unsolvability of the provability of the deduction theorem in partial propositional calculi.
D. Bollman, M. Tapia
Notre Dame J. Formal Logic 13 (1), 124-128, (January 1972) DOI: 10.1305/ndjfl/1093894634 Open Access
KEYWORDS: 02G05, 02B05
No abstract available
DOWNLOAD PAPER
Premisses are not axioms.
Charles F. Kielkopf
Notre Dame J. Formal Logic 13 (1), 129-130, (January 1972) DOI: 10.1305/ndjfl/1093894635 Open Access
No abstract available
DOWNLOAD PAPER
The Gödel-Herbrand theorems.
Richard L. Call
Notre Dame J. Formal Logic 13 (1), 131-134, (January 1972) DOI: 10.1305/ndjfl/1093894636 Open Access
KEYWORDS: 02B10
No abstract available
DOWNLOAD PAPER
Non-recursiveness of the set of finite sets of equations whose theories are one-based.
Douglas D. Smith
Notre Dame J. Formal Logic 13 (1), 135-138, (January 1972) DOI: 10.1305/ndjfl/1093894637 Open Access
KEYWORDS: 02F25
No abstract available
DOWNLOAD PAPER
An abbreviation of Croisot's axiom-system for distributive lattices with $I$.
Bolesław Sobociński
Notre Dame J. Formal Logic 13 (1), 139-141, (January 1972) DOI: 10.1305/ndjfl/1093894638 Open Access
KEYWORDS: 02J05
No abstract available
DOWNLOAD PAPER
Maximal full matrices.
Biswambhar Pahi
Notre Dame J. Formal Logic 13 (1), 142-144, (January 1972) DOI: 10.1305/ndjfl/1093894639 Open Access
KEYWORDS: 02B05
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 13, issue 1 (1972)
Notre Dame J. Formal Logic 13 (1), (January 1972) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top