Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 13 > Issue 2
Notre Dame Journal of Formal Logic
VOL. 13 · NO. 2 | April 1972
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 13, issue 2 (1972)
Notre Dame J. Formal Logic 13 (2), (April 1972) Open Access
No abstract available
DOWNLOAD PAPER
Articles
The pragmatics of first order languages. I.
Albert Sweet
Notre Dame J. Formal Logic 13 (2), 145-160, (April 1972) DOI: 10.1305/ndjfl/1093894711 Open Access
KEYWORDS: 02J15
No abstract available
DOWNLOAD PAPER
The relative consistency of the class axioms of abstraction and extensionality and the axioms of NBG in a three-valued logic.
Ross T. Brady
Notre Dame J. Formal Logic 13 (2), 161-176, (April 1972) DOI: 10.1305/ndjfl/1093894712 Open Access
KEYWORDS: 02K15, 02C05
No abstract available
DOWNLOAD PAPER
Transitivity, supertransitivity and induction.
W. Russell Belding, Richard L. Poss, Paul J. Welsh Jr.
Notre Dame J. Formal Logic 13 (2), 177-190, (April 1972) DOI: 10.1305/ndjfl/1093894713 Open Access
KEYWORDS: 02K10
No abstract available
DOWNLOAD PAPER
Induction on fields of binary relations.
W. Russell Belding
Notre Dame J. Formal Logic 13 (2), 191-194, (April 1972) DOI: 10.1305/ndjfl/1093894714 Open Access
KEYWORDS: 02K15
No abstract available
DOWNLOAD PAPER
A modification of Parry's analytic implication.
J. Michael Dunn
Notre Dame J. Formal Logic 13 (2), 195-205, (April 1972) DOI: 10.1305/ndjfl/1093894715 Open Access
KEYWORDS: 02C99
No abstract available
DOWNLOAD PAPER
Strange arguments.
John Corcoran
Notre Dame J. Formal Logic 13 (2), 206-210, (April 1972) DOI: 10.1305/ndjfl/1093894716 Open Access
KEYWORDS: 02B05
No abstract available
DOWNLOAD PAPER
Real fields with characterization of the natural numbers.
Eugene W. Madison
Notre Dame J. Formal Logic 13 (2), 211-218, (April 1972) DOI: 10.1305/ndjfl/1093894717 Open Access
KEYWORDS: 02H15
No abstract available
DOWNLOAD PAPER
The modal structure of the Prior-Rescher family of infinite product systems.
Gerald J. Massey
Notre Dame J. Formal Logic 13 (2), 219-223, (April 1972) DOI: 10.1305/ndjfl/1093894718 Open Access
KEYWORDS: 02C05
No abstract available
DOWNLOAD PAPER
Necessity and ticket entailment.
John R. Chidgey, R. Zane Parks
Notre Dame J. Formal Logic 13 (2), 224-226, (April 1972) DOI: 10.1305/ndjfl/1093894719 Open Access
KEYWORDS: 02C99
No abstract available
DOWNLOAD PAPER
A note on ${\bf R}$-Mingle and Sobociński's three-valued logic.
R. Zane Parks
Notre Dame J. Formal Logic 13 (2), 227-228, (April 1972) DOI: 10.1305/ndjfl/1093894720 Open Access
KEYWORDS: 02C99
No abstract available
DOWNLOAD PAPER
Matters of separation.
H. Leblanc, R. K. Meyer
Notre Dame J. Formal Logic 13 (2), 229-236, (April 1972) DOI: 10.1305/ndjfl/1093894721 Open Access
KEYWORDS: 02B10
No abstract available
DOWNLOAD PAPER
Tableau methods of proof for modal logics.
Melvin Fitting
Notre Dame J. Formal Logic 13 (2), 237-247, (April 1972) DOI: 10.1305/ndjfl/1093894722 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
Equational classes of relative Stone algebras.
T. Hecht, Tibor Katriňák
Notre Dame J. Formal Logic 13 (2), 248-254, (April 1972) DOI: 10.1305/ndjfl/1093894723 Open Access
KEYWORDS: 06A35
No abstract available
DOWNLOAD PAPER
A new formalization of Newman algebra.
Bolesław Sobociński
Notre Dame J. Formal Logic 13 (2), 255-264, (April 1972) DOI: 10.1305/ndjfl/1093894724 Open Access
KEYWORDS: 06A40
No abstract available
DOWNLOAD PAPER
An equational axiomatization of associative Newman algebras.
Bolesław Sobociński
Notre Dame J. Formal Logic 13 (2), 265-269, (April 1972) DOI: 10.1305/ndjfl/1093894725 Open Access
KEYWORDS: 06A40, 08A25
No abstract available
DOWNLOAD PAPER
A modal truth-tabular interpretation for necessary and sufficient conditons.
Peter A. Facione
Notre Dame J. Formal Logic 13 (2), 270-272, (April 1972) DOI: 10.1305/ndjfl/1093894726 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
Parallel $1$-flats in $2$-arrangements.
Michael C. Gemignani
Notre Dame J. Formal Logic 13 (2), 273-278, (April 1972) DOI: 10.1305/ndjfl/1093894727 Open Access
KEYWORDS: 50A05
No abstract available
DOWNLOAD PAPER
An application of mathematical logic to the integer linear programming problem.
R. D. Lee
Notre Dame J. Formal Logic 13 (2), 279-282, (April 1972) DOI: 10.1305/ndjfl/1093894728 Open Access
KEYWORDS: 90C10
No abstract available
DOWNLOAD PAPER
A semi-lattice theoretical characterization of associative Newman algebras.
Bolesław Sobociński
Notre Dame J. Formal Logic 13 (2), 283-285, (April 1972) DOI: 10.1305/ndjfl/1093894729 Open Access
KEYWORDS: 06A40, 08A25
No abstract available
DOWNLOAD PAPER
Probability as degree of possibility.
W. D. Hart
Notre Dame J. Formal Logic 13 (2), 286-288, (April 1972) DOI: 10.1305/ndjfl/1093894730 Open Access
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 13, issue 2 (1972)
Notre Dame J. Formal Logic 13 (2), (April 1972) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top