Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 19 > Issue 2
Notre Dame Journal of Formal Logic
VOL. 19 · NO. 2 | April 1978
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 19, issue 2 (1978)
Notre Dame J. Formal Logic 19 (2), (April 1978) Open Access
No abstract available
DOWNLOAD PAPER
Articles
Projective bigraphs with recursive operations.
J. C. E. Dekker
Notre Dame J. Formal Logic 19 (2), 193-199, (April 1978) DOI: 10.1305/ndjfl/1093888313 Open Access
KEYWORDS: 02F27, 05C99
No abstract available
DOWNLOAD PAPER
Logics for knowledge, possibility, and existence.
Roderic A. Girle
Notre Dame J. Formal Logic 19 (2), 200-214, (April 1978) DOI: 10.1305/ndjfl/1093888314 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
Model theory of alternative rings.
Bruce I. Rose
Notre Dame J. Formal Logic 19 (2), 215-243, (April 1978) DOI: 10.1305/ndjfl/1093888315 Open Access
KEYWORDS: 02H15, 17D05
No abstract available
DOWNLOAD PAPER
An independence result concerning infinite products of alephs.
John L. Hickman
Notre Dame J. Formal Logic 19 (2), 244-248, (April 1978) DOI: 10.1305/ndjfl/1093888316 Open Access
KEYWORDS: 04A10, 02K25
No abstract available
DOWNLOAD PAPER
A rare accident.
Wolfgang Lenzen
Notre Dame J. Formal Logic 19 (2), 249-250, (April 1978) DOI: 10.1305/ndjfl/1093888317 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
A note concerning the notion of mereological class.
Czesław Lejewski
Notre Dame J. Formal Logic 19 (2), 251-263, (April 1978) DOI: 10.1305/ndjfl/1093888318 Open Access
KEYWORDS: 02K10
No abstract available
DOWNLOAD PAPER
Minimalization of Boolean polynomials, truth functions, and lattices.
Mitchell O. Locks
Notre Dame J. Formal Logic 19 (2), 264-270, (April 1978) DOI: 10.1305/ndjfl/1093888319 Open Access
KEYWORDS: 94A20
No abstract available
DOWNLOAD PAPER
A new family of modal systems.
G. N. Georgacarakos
Notre Dame J. Formal Logic 19 (2), 271-281, (April 1978) DOI: 10.1305/ndjfl/1093888320 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
The closing passage of Frege's ``Über Sinn und Bedeutung''.
Ronald E. Nusenoff
Notre Dame J. Formal Logic 19 (2), 282-284, (April 1978) DOI: 10.1305/ndjfl/1093888321 Open Access
KEYWORDS: 02A05
No abstract available
DOWNLOAD PAPER
On the independence of the Bigos-Kalmár axioms for sentential calculus.
Robert C. Flagg
Notre Dame J. Formal Logic 19 (2), 285-288, (April 1978) DOI: 10.1305/ndjfl/1093888322 Open Access
KEYWORDS: 02B05
No abstract available
DOWNLOAD PAPER
A note on Turing machine regularity and primitive recursion.
Nicholas J. De Lillo
Notre Dame J. Formal Logic 19 (2), 289-294, (April 1978) DOI: 10.1305/ndjfl/1093888323 Open Access
KEYWORDS: 02F15
No abstract available
DOWNLOAD PAPER
Analytica priora I, $38$ and reduplication.
Ignacio Angelelli
Notre Dame J. Formal Logic 19 (2), 295-296, (April 1978) DOI: 10.1305/ndjfl/1093888324 Open Access
KEYWORDS: 02A05, 01A20
No abstract available
DOWNLOAD PAPER
Supervaluations and Tarski.
Nicholas Griffin
Notre Dame J. Formal Logic 19 (2), 297-298, (April 1978) DOI: 10.1305/ndjfl/1093888325 Open Access
KEYWORDS: 02A05
No abstract available
DOWNLOAD PAPER
On propositions.
W. D. Hart, Colin McGinn
Notre Dame J. Formal Logic 19 (2), 299-306, (April 1978) DOI: 10.1305/ndjfl/1093888326 Open Access
KEYWORDS: 03A05, 03B45
No abstract available
DOWNLOAD PAPER
On creative definitions in first order functional calculi.
V. Frederick Rickey
Notre Dame J. Formal Logic 19 (2), 307-309, (April 1978) DOI: 10.1305/ndjfl/1093888327 Open Access
KEYWORDS: 02B10
No abstract available
DOWNLOAD PAPER
The middle term.
Demetrius J. Hadgopoulos
Notre Dame J. Formal Logic 19 (2), 310-314, (April 1978) DOI: 10.1305/ndjfl/1093888328 Open Access
KEYWORDS: 01A25, 03-03
No abstract available
DOWNLOAD PAPER
Awkward axiom-systems.
Bolesław Sobociński
Notre Dame J. Formal Logic 19 (2), 315-320, (April 1978) DOI: 10.1305/ndjfl/1093888329 Open Access
KEYWORDS: 02B05, 02G99
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 19, issue 2 (1978)
Notre Dame J. Formal Logic 19 (2), (April 1978) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top