Notre Dame J. Formal Logic, Tome 12 (1971) no. 1

p. 509-511

Project Euclid

A proof of a theorem of Ł ukasiewicz.

Thomas, Ivo

p. 507-508

Project Euclid

Sur une propriété de préservation.

Drabbe, Jean

p. 505-506

Project Euclid

A generalization of the Gentzen Hauptsatz.

Sanchis, Luis E.

p. 499-504

Project Euclid

The extensional pragmatics of commands.

Moutafakis, Nicholas J.

p. 489-498

Project Euclid

A diagrammatic treatment of syllogistic.

Smyth, M. B.

p. 483-488

Project Euclid

Some methods of formal proofs. III.

Reichbach, Juliusz

p. 479-482

Project Euclid

A model for Leśniewski's mereology in functions.

Clay, Robert E.

p. 467-478

Project Euclid

Certain counterexamples to the construction of combinatorial designs on infinite sets.

Frascella, William J.

p. 461-466

Project Euclid

A mistake in Copi's discussion of completeness.

Wilcox, W. C.

p. 459-460

Project Euclid

Copi's method of deduction again.

Bradley, M. C.

p. 454-458

Project Euclid

The consistency of the axioms of abstraction and extensionality in a three-valued logic.

Brady, Ross T.

p. 447-453

Project Euclid

Elementary logic without referential quantification.

Canty, John Thomas

Applebee, Ralph C. ; Pahi, Biswambhar

p. 441-446

Project Euclid

Some results on generalized truth-tables.

p. 435-440

Project Euclid

The strong decidability of cut logics. II. Generalizations.

p. 429-434

Project Euclid

Ordinal theory in a conservative extension of predicate calculus.

Harris, John H.

p. 423-428

Project Euclid

The logic of essentially ordered causes.

Wengert, R. G.

p. 406-422

Project Euclid

La science de la logique.

Dumitriu, Anton

p. 385-405

Project Euclid

A proper subsystem of ${\rm S}4.{\rm O}4.$.

p. 381-384

Project Euclid

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

Larouche, Laurent

p. 378-380

Project Euclid

A new class of modal systems.

p. 371-377

Project Euclid

Concerning some extensions of ${\rm S}4$.

p. 363-370

Project Euclid

A class of models for intermediate logics.

van Rootselaar, B.

p. 358-362

Project Euclid

A study of some systems in the neighborhood of ${\rm S}4.4$.

Zeman, J. Jay

p. 341-357

Project Euclid

Solutions to four modal problems of Sobociński.

Schumm, G. F.

p. 335-340

Project Euclid

Two notes on vector spaces with recursive operations.

Dekker, J. C. E.

p. 329-334

Project Euclid

The strong decidability of cut-logics. I. Partial propositional calculi.

p. 322-328

Project Euclid

Matrix satisfiability and axiomatization.

Ackermann, Robert

p. 309-321

Project Euclid

Combinatorial operators and their quasi-inverses.

Vučković, Vladeta

p. 305-308

Project Euclid

Measurable cardinals and constructibility without regularity.

Poss, Richard L.

p. 300-304

Project Euclid

Weak forms of the axiom of constructibility.

Poss, Richard L.

p. 257-299

Project Euclid

Incompleteness via simple sets.

Ellentuck, Erik

p. 255-256

Project Euclid

Some embedding theorems for modal logic.

Makinson, David

p. 252-254

Project Euclid

A note on an axiom-system of atomistic mereology.

p. 249-251

Project Euclid

Isomorphisms of $\omega$-groups.

Applebaum, Charles H.

p. 238-248

Project Euclid

A system of modality.

Goble, Louis F.

p. 225-237

Project Euclid

A tableau proof method admitting the empty domain.

Fitting, Melvin

p. 219-224

Project Euclid

Independence of the axioms and rules of inference of one system of the extended propositional calculus.

Georgieva, Nadejda

p. 214-218

Project Euclid

Atomistic mereology. II.

p. 203-213

Project Euclid

Quine on translational indeterminacy.

Foss, Laurence

p. 195-202

Project Euclid

Duality in finite many-valued logic.

Setlur, Rangaswamy V.

p. 188-194

Project Euclid

Intuitionistic negation.

Belding, W. Russell

p. 183-187

Project Euclid

Gentzen-like systems for partial propositional calculi. II.

p. 179-182

Project Euclid

Two modes of deductive inference.

Gregg, John R.

p. 169-178

Project Euclid

Truth-value semantics for a logic of existence.

Leblanc, Hugues

p. 153-168

Project Euclid

Conventionalist and contingency-oriented modal logics.

Routley, R.

p. 131-152

Project Euclid

In memoriam A. N. Prior (1914--1969).

Thomas, Ivo

p. 129-130

Project Euclid

Some remarks on Geach's predicative and attributive adjectives.

Donnelly, John

p. 125-128

Project Euclid

Does Ockham accept material implication?

Mullick, M.

p. 117-124

Project Euclid

On weak and strong validity of rules for the propositional calculus.

Rickey, V. Frederick

p. 115-116

Project Euclid

Generalized ordinal notation.

Gass, Frederick S.

p. 104-114

Project Euclid

Atomistic mereology. I.

p. 89-103

Project Euclid

On Hauber's statement of his theorem.

Hoormann, Cyril F. A.

p. 86-88

Project Euclid

Lattice-theoretical and mereological forms of Hauber's law.

p. 81-85

Project Euclid

Gentzen-like systems for partial propositional calculi. I.

p. 75-80

Project Euclid

Finite model property for five modal calculi in the neighbourhood of $S3$.

Shukla, Anjan

p. 69-74

Project Euclid

Superinductive classes in class-set theory.

Cowen, Robert H.

p. 62-68

Project Euclid

Affine geometry having a solid as primitive.

Sullivan, Theodore F.