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 10, Number 3

Publication Date: July 1969

Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 10, issue 3 (1969)

Selection functions for recursive functionals.

Thomas J. Grilliot; 225-234

Semi-Boolean lattices.

William C. Nemitz; 235-238

Leśniewski and Frege on collective classes.

Vito F. Sinisi; 239-246

Modal systems in which necessity is ``factorable''.

J. Jay Zeman; 247-256

Complete modalization in $S4.4$ and $S4.0.4$.

J. Jay Zeman; 257-260

On some open questions of B. Sobociński.

G. F. Schumm; 261-262

On a modal system of D. C. Makinson and B. Sobociński.

G. F. Schumm; 263-265

Equational postulates for the Sheffer stroke.

C. A. Meredith; 266-270

Propositional calculus in implication and non-equivalence.

A. N. Prior; 271-272

On the calculus ${\rm MCC}$.

A. N. Prior; 273-274

Note on the mortality problem for shift state trees.

Michael Anderson; 275-276

Examination of the axiomatic foundations of a theory of change. II.

Laurent Larouche; 277-284

Equational characterization of Nelson algebra.

Diana Brignole; 285-297

An extension of negationless logic.

J. Kent Minichiello; 298-302

A semi-completeness theorem.

Stephen L. Bloom; 303-308

Terminal functors permissible with syllogistic.

C. A. Meredith; 309-312

An economy in the formation rules for quantification theory.

Harry V. Stopes-Roe; 313-316

The non-existence of a certain combinatorial design on an infinite set.

William J. Frascella; 317-323

Leśniewski's ontology and some medieval logicians.

Desmond Paul Henry; 324-326

A theory of categorical syllogism.

Setsuo Saito; 327-330

A reduction procedure for Sheffer stroke formulas.

Robert D. Carnes; 331-335

Corrigendum to my paper: ``A propositional calculus intermediate between the minimal calculus and the classical''.

Charles Parsons; 336

Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 10, issue 3 (1969)


2013 © University of Notre Dame