Notre Dame Journal of Formal Logic

The Notre Dame Journal of Formal Logic provides a forum where researchers working in all areas of logic and the foundations of mathematics can read and publish original and significant work.


Volume 19, Number 2

Publication Date: April 1978

Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 19, issue 2 (1978)

Projective bigraphs with recursive operations.

J. C. E. Dekker; 193-199

Logics for knowledge, possibility, and existence.

Roderic A. Girle; 200-214

Model theory of alternative rings.

Bruce I. Rose; 215-243

An independence result concerning infinite products of alephs.

John L. Hickman; 244-248

A rare accident.

Wolfgang Lenzen; 249-250

A note concerning the notion of mereological class.

Czesław Lejewski; 251-263

Minimalization of Boolean polynomials, truth functions, and lattices.

Mitchell O. Locks; 264-270

A new family of modal systems.

G. N. Georgacarakos; 271-281

The closing passage of Frege's ``Über Sinn und Bedeutung''.

Ronald E. Nusenoff; 282-284

On the independence of the Bigos-Kalmár axioms for sentential calculus.

Robert C. Flagg; 285-288

A note on Turing machine regularity and primitive recursion.

Nicholas J. De Lillo; 289-294

Analytica priora I, $38$ and reduplication.

Ignacio Angelelli; 295-296

Supervaluations and Tarski.

Nicholas Griffin; 297-298

On propositions.

W. D. Hart and Colin McGinn; 299-306

On creative definitions in first order functional calculi.

V. Frederick Rickey; 307-309

The middle term.

Demetrius J. Hadgopoulos; 310-314

Awkward axiom-systems.

Bolesław Sobociński; 315-320

Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 19, issue 2 (1978)


2013 © University of Notre Dame