Notre Dame Journal of Formal Logic

353	--	369	Albert Sade. Indice de vérité, fonctions implicationnelles accessibles, recensement des thèses
370	--	378	John Corcoran, George Weaver. Logical consequence in modal logic. II. Some semantic systems for S4
379	--	401	Gary Gilford Gleason. Normal and skew systems
402	--	410	Charles F. Kielkopf. K1 as a Dawson modeling of A. R. Anderson's sense of "ought"
411	--	431	Leo Simons. Logic without tautologies
432	--	442	H. Julian Wadleigh. Translation of the simple theory of types into a first order language
443	--	454	Newton C. A. da Costa. $\alpha$-models and the systems $T$ and $T^\ast$
455	--	461	Louis F. Goble. Gentzen systems for modal logic
462	--	464	Mary Sirridge. William of Sherwood on propositions and their parts
465	--	476	Boleslaw Sobocinski. A theorem concerning a restricted rule of substitution in the field of propositional calculi. I
477	--	0	Ivo Thomas. On Meredith's sole positive axiom
478	--	480	V. Frederick Rickey. The one variable implicational calculus
481	--	484	John Lake. Ordered pairs and cardinality in new foundations
485	--	486	T. C. Wesselkamper. A note on UDE's in an n-valued logic
487	--	488	Andrés R. Raggio. A simple proof of Herbrand's theorem
489	--	490	Howard Burdick. On syntactical characterization of logical expressions
491	--	493	Alan C. Wilde. Generalizations of the distributive and associative laws
494	--	496	Robert W. Murungi. On a nonthesis of classical modal logic

External Links