Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 17 > Issue 2
Notre Dame Journal of Formal Logic
VOL. 17 · NO. 2 | April 1976
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 17, issue 2 (1976)
Notre Dame J. Formal Logic 17 (2), (April 1976) Open Access
No abstract available
DOWNLOAD PAPER
Articles
Significance logics.
Ross T. Brady
Notre Dame J. Formal Logic 17 (2), 161-183, (April 1976) DOI: 10.1305/ndjfl/1093887521 Open Access
KEYWORDS: 02C05
No abstract available
DOWNLOAD PAPER
Negation disarmed.
Robert K. Meyer
Notre Dame J. Formal Logic 17 (2), 184-190, (April 1976) DOI: 10.1305/ndjfl/1093887522 Open Access
KEYWORDS: 02C10, 02D99
No abstract available
DOWNLOAD PAPER
On some modal logics related to the Ł -modal system.
Robert L. Wilson
Notre Dame J. Formal Logic 17 (2), 191-206, (April 1976) DOI: 10.1305/ndjfl/1093887523 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
A first-order logic of knowledge and belief with identity. II.
Scott K. Lehmann
Notre Dame J. Formal Logic 17 (2), 207-221, (April 1976) DOI: 10.1305/ndjfl/1093887524 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
A species-algebraic interpretation of the intuitionistic propositional calculus.
Jekeri Okee
Notre Dame J. Formal Logic 17 (2), 222-232, (April 1976) DOI: 10.1305/ndjfl/1093887525 Open Access
KEYWORDS: 02C15, 02J99
No abstract available
DOWNLOAD PAPER
Temporal modalities and the future.
Charles C. Davis, Vaughn R. McKim
Notre Dame J. Formal Logic 17 (2), 233-238, (April 1976) DOI: 10.1305/ndjfl/1093887526 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
A further examination of Saccheri's use of the ``consequentia mirabilis''.
Cyril F. A. Hoormann Jr.
Notre Dame J. Formal Logic 17 (2), 239-247, (April 1976) DOI: 10.1305/ndjfl/1093887527 Open Access
KEYWORDS: 02-03, 01A45
No abstract available
DOWNLOAD PAPER
Axiom sets equivalent to syllogism and Peirce.
Ivo Thomas
Notre Dame J. Formal Logic 17 (2), 248, (April 1976) DOI: 10.1305/ndjfl/1093887528 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
A note on the adequacy of translations.
William Frank
Notre Dame J. Formal Logic 17 (2), 249-250, (April 1976) DOI: 10.1305/ndjfl/1093887529 Open Access
KEYWORDS: 02G10
No abstract available
DOWNLOAD PAPER
Three identities for ortholattices.
Ladislav Beran
Notre Dame J. Formal Logic 17 (2), 251-252, (April 1976) DOI: 10.1305/ndjfl/1093887530 Open Access
KEYWORDS: 06A25, 02G15
No abstract available
DOWNLOAD PAPER
Pledger lemma and the modal system $S3\deg$.
Bolesław Sobociński
Notre Dame J. Formal Logic 17 (2), 253-256, (April 1976) DOI: 10.1305/ndjfl/1093887531 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
Consistency of $n$-order logics.
William J. Thomas
Notre Dame J. Formal Logic 17 (2), 257-262, (April 1976) DOI: 10.1305/ndjfl/1093887532 Open Access
KEYWORDS: 02B15
No abstract available
DOWNLOAD PAPER
An Herbrand theorem for prenex formulas of LJ.
Kenneth A. Bowen
Notre Dame J. Formal Logic 17 (2), 263-266, (April 1976) DOI: 10.1305/ndjfl/1093887533 Open Access
KEYWORDS: 02D99, 02C15
No abstract available
DOWNLOAD PAPER
Shortest single axioms for the classical equivalential calculus.
Jeremy George Peterson
Notre Dame J. Formal Logic 17 (2), 267-271, (April 1976) DOI: 10.1305/ndjfl/1093887534 Open Access
KEYWORDS: 02B05
No abstract available
DOWNLOAD PAPER
Presupposition and entailment.
John A. Barker
Notre Dame J. Formal Logic 17 (2), 272-278, (April 1976) DOI: 10.1305/ndjfl/1093887535 Open Access
No abstract available
DOWNLOAD PAPER
The distribution of terms.
Berndard D. Katz, A. P. Martinich
Notre Dame J. Formal Logic 17 (2), 279-283, (April 1976) DOI: 10.1305/ndjfl/1093887536 Open Access
No abstract available
DOWNLOAD PAPER
A note on defining the Rudin-Keisler ordering of ultrafilters.
Donald H. Pelletier
Notre Dame J. Formal Logic 17 (2), 284-286, (April 1976) DOI: 10.1305/ndjfl/1093887537 Open Access
KEYWORDS: 04A20, 54D35
No abstract available
DOWNLOAD PAPER
Eternal existence and necessary existence.
William G. Lycan
Notre Dame J. Formal Logic 17 (2), 287-290, (April 1976) DOI: 10.1305/ndjfl/1093887538 Open Access
No abstract available
DOWNLOAD PAPER
Lambda-calculus terms that reduce to themselves.
Bruce Lercher
Notre Dame J. Formal Logic 17 (2), 291-292, (April 1976) DOI: 10.1305/ndjfl/1093887539 Open Access
KEYWORDS: 02C20
No abstract available
DOWNLOAD PAPER
NOR logic: a system of natural deduction.
Laurence S. Gagnon
Notre Dame J. Formal Logic 17 (2), 293-294, (April 1976) DOI: 10.1305/ndjfl/1093887540 Open Access
KEYWORDS: 02B10
No abstract available
DOWNLOAD PAPER
A question about incompleteness.
Robert L. Armstrong
Notre Dame J. Formal Logic 17 (2), 295-296, (April 1976) DOI: 10.1305/ndjfl/1093887541 Open Access
KEYWORDS: 02B05, 02-01
No abstract available
DOWNLOAD PAPER
Semantics for $S4.04$, $S4.4$, and $S4.3.2$.
G. N. Georgacarakos
Notre Dame J. Formal Logic 17 (2), 297-302, (April 1976) DOI: 10.1305/ndjfl/1093887542 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
Effective density types.
Harry Gonshor
Notre Dame J. Formal Logic 17 (2), 303-307, (April 1976) DOI: 10.1305/ndjfl/1093887543 Open Access
KEYWORDS: 02F40, 02F25
No abstract available
DOWNLOAD PAPER
A criticism of Sommers' language tree.
Robert Cogan
Notre Dame J. Formal Logic 17 (2), 308-310, (April 1976) DOI: 10.1305/ndjfl/1093887544 Open Access
No abstract available
DOWNLOAD PAPER
A short equational axiomatization of modular ortholattices.
Bolesław Sobociński
Notre Dame J. Formal Logic 17 (2), 311-316, (April 1976) DOI: 10.1305/ndjfl/1093887545 Open Access
KEYWORDS: 02G15, 06A30
No abstract available
DOWNLOAD PAPER
A short equational axiomatization of orthomodular lattices.
Bolesław Sobociński
Notre Dame J. Formal Logic 17 (2), 317-320, (April 1976) DOI: 10.1305/ndjfl/1093887546 Open Access
KEYWORDS: 02G15, 06A30
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 17, issue 2 (1976)
Notre Dame J. Formal Logic 17 (2), (April 1976) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top