Notre Dame J. Formal Logic, Tome 3 (1962) no. 1

p. 289-290

Project Euclid

Note to my paper: ``A diagram of the functors of the two-valued propositional calculus''.

Scharle, Thomas W.

p. 287-288

Project Euclid

A new condition for a modular lattice.

Wilde, Paula Marie

p. 284-286

Project Euclid

A remark concerning the third theorem about the existence of successors of cardinals.

p. 279-283

Project Euclid

A note on the generalized continuum hypothesis. I.

p. 274-278

Project Euclid

On an extension of a theorem of Friedberg.

McLaughlin, Thomas G.

p. 270-273

Project Euclid

Formal logic and formal ontology in Husserl's phenomenology.

Crosson, Frederick James

p. 259-269

Project Euclid

A reduction in the number of independent axiom schemata for $S4$.

Simons, Leo

p. 256-258

Project Euclid

A diagram of the functors of the two-valued propositional calculus.

Scharle, Thomas W.

p. 243-255

Project Euclid

A preliminary report on the theory of unification of sciences and its concept transforming automation.

Székely, D. L.

p. 234-242

Project Euclid

The method of possibility-diagrams for testing the validity of certain types of inferences, based on Jevons' logical alphabet.

Brumm, Gordon L.

p. 209-233

Project Euclid

An axiom-system for $\{K;\,N\}$-propositional calculus related to Simons' axiomatization of ${\rm S}3$.

p. 206-208

Project Euclid

Structural rules of inference.

Leblanc, Hugues

p. 201-205

Project Euclid

Solutions of five modal problems of Sobociński.

p. 199-200

Project Euclid

An Anselmian regress.

Henry, Desmond Paul

p. 193-198

Project Euclid

Six new sets of independent axioms for distributive lattices with $O$ and $I$.

p. 187-192

Project Euclid

A decision procedure for positive implication.

Resnik, Michael D.

p. 179-186

Project Euclid

What Pierce means by leading principles.

Bird, Otto

p. 175-178

Project Euclid

Finite limitations on Dummet's LC.

p. 170-174

Project Euclid

A set-theoretical formula equivalent to the axiom of choice.

p. 167-169

Project Euclid

A theory of translation and transformation of languages.

Székely, D. L.

p. 152-166

Project Euclid

Some theorems on the structure of mutant sets and their applications to group and ring theories.

Mullin, Albert A.

p. 148-151

Project Euclid

Quantification and Ł -modality.

Prior, A. N.

p. 142-147

Project Euclid

Programming the functions of formal logic.

Summersbee, S. ; Walters, A.

p. 133-141

Project Euclid

Recursive linear orderings and hyperarithmetical functions.

Liu, Shih-chao

p. 129-132

Project Euclid

On the generalized Brouwerian axioms.

p. 123-128

Project Euclid

A simple decision procedure for one-variable implicational/negation formulae in intuitionist logic.

McCall, Storrs

p. 120-122

Project Euclid

A note on a weakened Goldbach-like conjecture.

Mullin, Albert A.

p. 118-119

Project Euclid

A simple proof of functional completeness in many-valued logics based on Ł ukasiewicz's $C$ and $N$.

Clay, Robert E.

p. 114-117

Project Euclid

A note on the regular and irregular modal systems of Lewis.

p. 109-113

Project Euclid

On the infinity of positive logic.

Project Euclid

On the connection of the first-order functional calculus with many-valued propositional calculi.

Reichbach, Juliusz

p. 102-107

Project Euclid

A study in Burleigh: Tractatus de regulis generalibus consequentiarum.

Boh, Ivan

Leblanc, Hugues ; Belnap, Nuel D.

p. 83-101

Project Euclid

Intuitionism reconsidered.

p. 79-82

Project Euclid

Four types of general recursive well-orderings.

Liu, Shih Chao

p. 75-78

Project Euclid

Proof of some theorems on recursively enumerable sets.

Skolem, Thoralf

p. 65-74

Project Euclid

The rule of excision in positive implication.

Project Euclid

Notes on foundations. II. On Galois connections.

Rainich, G. Y.

p. 61-63

Project Euclid

A contribution to the axiomatization of Lewis' system ${\rm S}5$.

p. 51-60

Project Euclid

The determination of all Sheffer functions in $3$-valued logic, using a logical computer.

Foxley, Eric

p. 41-50

Project Euclid

Bibliography of Soviet work in the field of mathematical logic and the foundations of mathematics, from 1917--1957.

Küng, Guido