Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 17 > Issue 1
Notre Dame Journal of Formal Logic
VOL. 17 · NO. 1 | January 1976
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 17, issue 1 (1976)
Notre Dame J. Formal Logic 17 (1), (January 1976) Open Access
No abstract available
DOWNLOAD PAPER
Articles
On prosleptic premisses.
Czesław Lejewski
Notre Dame J. Formal Logic 17 (1), 1-18, (January 1976) DOI: 10.1305/ndjfl/1093887421 Open Access
KEYWORDS: 02B05
No abstract available
DOWNLOAD PAPER
Leśniewski's analysis of Russell's antinomy.
Vito F. Sinisi
Notre Dame J. Formal Logic 17 (1), 19-34, (January 1976) DOI: 10.1305/ndjfl/1093887422 Open Access
KEYWORDS: 02C99, 02-03
No abstract available
DOWNLOAD PAPER
A note on the axiom of choice in Leśniewski's ontology.
Charles C. Davis
Notre Dame J. Formal Logic 17 (1), 35-43, (January 1976) DOI: 10.1305/ndjfl/1093887423 Open Access
KEYWORDS: 02C99, 02K20
No abstract available
DOWNLOAD PAPER
Algebraic semantics for $S2^0$ and necessitated extensions.
Hugh Alexander Montgomery, R. Routley
Notre Dame J. Formal Logic 17 (1), 44-58, (January 1976) DOI: 10.1305/ndjfl/1093887424 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
A first-order logic of knowledge and belief with identity. I.
Scott K. Lehmann
Notre Dame J. Formal Logic 17 (1), 59-77, (January 1976) DOI: 10.1305/ndjfl/1093887425 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
An addendum to my paper: ``A categorical equivalence of proofs''.
Manfred E. Szabo
Notre Dame J. Formal Logic 17 (1), 78, (January 1976) DOI: 10.1305/ndjfl/1093887426 Open Access
KEYWORDS: 02D99, 18A15
No abstract available
DOWNLOAD PAPER
On the eliminability of de re modalities in some systems.
Jonathan Broido
Notre Dame J. Formal Logic 17 (1), 79-88, (January 1976) DOI: 10.1305/ndjfl/1093887427 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
A study of algebraic logic from the point of view of category theory.
Luis M. Laita
Notre Dame J. Formal Logic 17 (1), 89-118, (January 1976) DOI: 10.1305/ndjfl/1093887428 Open Access
KEYWORDS: 02J15, 18C10
No abstract available
DOWNLOAD PAPER
Les algèbres de Heyting-Brouwer et de Ł ukasiewicz trivalentes.
Luisa Iturrioz
Notre Dame J. Formal Logic 17 (1), 119-126, (January 1976) DOI: 10.1305/ndjfl/1093887429 Open Access
KEYWORDS: 02J05, 02C05
No abstract available
DOWNLOAD PAPER
Über Kongruenzen höherer Operationen.
Günther Frei-Imfeld
Notre Dame J. Formal Logic 17 (1), 127-130, (January 1976) DOI: 10.1305/ndjfl/1093887430 Open Access
KEYWORDS: 10A10
No abstract available
DOWNLOAD PAPER
An independent statement about metric spaces.
Maurice Machover
Notre Dame J. Formal Logic 17 (1), 131-134, (January 1976) DOI: 10.1305/ndjfl/1093887431 Open Access
KEYWORDS: 02K05, 54E35
No abstract available
DOWNLOAD PAPER
Consistent, independent, and distinct propositions. II.
Anjan Shukla
Notre Dame J. Formal Logic 17 (1), 135-136, (January 1976) DOI: 10.1305/ndjfl/1093887432 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
An alternative to Brian Skyrms' approach to the Liar.
Paul Vincent Spade
Notre Dame J. Formal Logic 17 (1), 137-146, (January 1976) DOI: 10.1305/ndjfl/1093887433 Open Access
KEYWORDS: 02A05
No abstract available
DOWNLOAD PAPER
Definitions of semantical reference and self-reference.
Brian Skyrms
Notre Dame J. Formal Logic 17 (1), 147-148, (January 1976) DOI: 10.1305/ndjfl/1093887434 Open Access
KEYWORDS: 02A05
No abstract available
DOWNLOAD PAPER
On the relation between free description theories and standard quantification theory.
Richard E. Grandy
Notre Dame J. Formal Logic 17 (1), 149-152, (January 1976) DOI: 10.1305/ndjfl/1093887435 Open Access
KEYWORDS: 02B99
No abstract available
DOWNLOAD PAPER
Some notes on: ``A deduction theorem for restricted generality''.
M. W. Bunder
Notre Dame J. Formal Logic 17 (1), 153-154, (January 1976) DOI: 10.1305/ndjfl/1093887436 Open Access
KEYWORDS: 02C20
No abstract available
DOWNLOAD PAPER
On Nachbin's characterization of a Boolean lattice.
William H. Cornish
Notre Dame J. Formal Logic 17 (1), 155-157, (January 1976) DOI: 10.1305/ndjfl/1093887437 Open Access
KEYWORDS: 06A35
No abstract available
DOWNLOAD PAPER
A patching lemma.
K. K. Hickin, J. M. Plotkin
Notre Dame J. Formal Logic 17 (1), 158-160, (January 1976) DOI: 10.1305/ndjfl/1093887438 Open Access
KEYWORDS: 04A20, 05A05
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 17, issue 1 (1976)
Notre Dame J. Formal Logic 17 (1), (January 1976) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top