Notre Dame J. Formal Logic, Tome 5 (1964)

p. 1-9

Project Euclid

A stronger form of a theorem of Friedberg.

Ohashi, Kempachiro

p. 10-12

Project Euclid

Commutative recursive word arithmetic in the alphabet of prime numbers.

Pogorzelski, Henry A.

p. 13-23

Project Euclid

A note on pseudo doubly creative pairs.

McLaughlin, Thomas G.

p. 24-26

Project Euclid

Direct consistency proof of Gentzen's system of natural deduction.

Raggio, Andrés R.

p. 27-30

Project Euclid

Concrete and abstract properties.

Küng, Guido

p. 31-36

Project Euclid

A detailed argument for the Post-Linial theorems.

Yntema, Mary Katherine

p. 37-50

Project Euclid

A theorem of Sierpiński on triads and the axiom of choice.

p. 51-58

Project Euclid

Modal systems in the neighbourhood of ${\rm T}$.

p. 59-61

Project Euclid

Further axiomatizations of the Ł ukasiewicz three-valued calculus.

Sioson, Federico M.

p. 62-70

Project Euclid

Remarks about axiomatizations of certain modal systems.

p. 71-80

Project Euclid

Remarks on the completeness of logical systems relative to the validity-concepts of P. Lorenzen and K. Lorenz.

Stegmüller, Wolfgang

p. 81-112

Project Euclid

On a class of regular sets.

Vučković, Vladeta

p. 113-124

Project Euclid

Two remarks concerning Menger's and Schultz' postulates for the substitutive algebra of the $2$-place functors in the $2$-valued calculus of propositions.

Peters, Richard

p. 125-128

Project Euclid

Three axiom negation-alternation formulations of the truth-functional calculus.

Goe, George

p. 129-132

Project Euclid

The bearer of ontological commitment.

Nielsen, Harry A.

p. 133-138

Project Euclid

A note on Prior's systems in ``The theory of deduction''.

p. 139-140

Project Euclid

On the propositional system $A$ of Vučković and its extension. I.

p. 141-153

Project Euclid

Boolean algebroids.

Clay, R. E. ; Sehgal, S. K.

p. 154-157

Project Euclid

A note about connection of the first-order functional calculus with many-valued propositional calculi.

Reichbach, Juliusz

p. 158-160

Project Euclid

Types in combinatory logic.

Sanchis, Luis E.

p. 161-180

Project Euclid

Obligation dérivée et logique déontique relationnelle. Remarques sur le système de G. H. von Wright et sur le développement de la logique déontique.

Kalinowski, Georges

Chiaraviglio, Lucio ; Sweet, Albert M.

p. 181-190

Project Euclid

The pragmatics of truth functions.

p. 191-198

Project Euclid

A natural deduction system for modal logic.

Canty, John Thomas

p. 199-210

Project Euclid

An axiomatization of Prior's modal calculus $Q$.

Bull, R. A.

p. 211-214

Project Euclid

Axiomatisations of the modal calculus $Q$.

Prior, A. N.

p. 215-217

Project Euclid

A note on self-referential statements.

p. 218-220

Project Euclid

Universal variable non-Tarskian functors.

p. 221-222

Project Euclid

On the propositional system $A$ of Vučković and its extension. II.

p. 223-237

Project Euclid

Syllogistic inference within the propositional calculus.

Sayre, Kenneth M.

p. 238-240

Project Euclid

Contributions to syntax, semantics, and the philosophy of science.

Schock, Rolf

p. 241-289

Project Euclid

Ockham, suppositio, and modern logic.

Henry, Desmond Paul

p. 290-292

Project Euclid

A liberalized system of quantificational deduction.

Patton, Thomas E.

p. 293-294

Project Euclid

Possibility-elimination in natural deduction.

Wisdom, William A.

p. 295-298

Project Euclid

${\rm K}1,\,{\rm K}2$ and related modal systems.

Prior, A. N.

p. 299-304

Project Euclid

Modal system ${\rm S}4.4$.

p. 305-312

Project Euclid

Family ${\rm K}$ of the non-Lewis modal systems.

p. 313-318

Project Euclid

Decision procedures for ${\rm S}2^0$ and ${\rm T}^0$.