- 1967
- Michael Anderson:
Note on an inequality of Tibor Rado. Notre Dame J. Formal Log. 8(1-2): 159-160 (1967) - Ignacio Angelelli:
On identity and interchangeability in Leibnitz and Frege. Notre Dame J. Formal Log. 8(1-2): 94-100 (1967) - Florencio G. Asenjo:
Rings of term-relation numbers as non-standard models. Notre Dame J. Formal Log. 8(1-2): 24-26 (1967) - John Bacon:
Syllogistic without existence. Notre Dame J. Formal Log. 8(3): 195-219 (1967) - Dorothy Bollman:
Formal nonassociative number theory. Notre Dame J. Formal Log. 8(1-2): 9-16 (1967) - Carl E. Bredlau:
Regressive functions and combinatorial functions. Notre Dame J. Formal Log. 8(4): 301-310 (1967) - R. A. Bull:
On the extension of S4 with CLMpMLp. Notre Dame J. Formal Log. 8(4): 325-329 (1967) - R. A. Bull:
On three related extensions of S4. Notre Dame J. Formal Log. 8(4): 330-334 (1967) - Max J. Cresswell:
A Henkin completeness for T. Notre Dame J. Formal Log. 8(3): 186-190 (1967) - M. J. Cresswell:
Alternative completeness theorems for modal systems. Notre Dame J. Formal Log. 8(4): 339-345 (1967) - Burton Dreben, Hilary Putnam:
The Craig interpolation lemma. Notre Dame J. Formal Log. 8(3): 229-233 (1967) - Rolf A. Eberle:
Some complete calculi of individuals. Notre Dame J. Formal Log. 8(4): 267-278 (1967) - William J. Frascella:
Combinatorial designs on infinite sets. Notre Dame J. Formal Log. 8(1-2): 27-47 (1967) - Michael C. Gemignani:
A characterization of Sm by means of topological geometries. Notre Dame J. Formal Log. 8(3): 220-224 (1967) - Michael C. Gemignani:
On the independence of certain axioms in the definition of an m-arrangement. Notre Dame J. Formal Log. 8(3): 225-226 (1967) - Abraham Goetz:
Algebraic independence in an infinite Steiner triple system. Notre Dame J. Formal Log. 8(1-2): 51-55 (1967) - Edward A. Hacker:
Number system for the immediate inferences and the syllogism in Aristotelian logic. Notre Dame J. Formal Log. 8(4): 318-320 (1967) - Edward A. Hacker, William Tuthill Parry:
Pure numerical Boolean syllogisms. Notre Dame J. Formal Log. 8(4): 321-324 (1967) - I. J. Heath:
Omitting the replacement schema in recursive arithmetic. Notre Dame J. Formal Log. 8(3): 234-238 (1967) - Hans Hermes:
In memoriam: Wilhelm Ackermann (1896-1962). Notre Dame J. Formal Log. 8(1-2): 1-8 (1967) - John T. Kearns:
The contribution of Leśniewski. Notre Dame J. Formal Log. 8(1-2): 61-93 (1967) - Karel Lambert:
Free logic and the concept of existence. Notre Dame J. Formal Log. 8(1-2): 133-144 (1967) - Czeslaw Lejewski:
A single axiom for the mereological notion of proper part. Notre Dame J. Formal Log. 8(4): 279-285 (1967) - Storrs McCall:
Contrariety. Notre Dame J. Formal Log. 8(1-2): 121-132 (1967) - Stephen H. McCleary:
Primitive recursive computations. Notre Dame J. Formal Log. 8(4): 311-317 (1967) - C. G. McKay:
Some completeness results for intermediate propositional logics. Notre Dame J. Formal Log. 8(3): 191-194 (1967) - C. G. McKay:
Implicationless wffs. in IC. Notre Dame J. Formal Log. 8(3): 227-228 (1967) - Eugen Mihailescu:
Decision problem in the classical logic. Notre Dame J. Formal Log. 8(3): 239-253 (1967) - Albert A. Mullin:
On new theorems for elementary number theory. Notre Dame J. Formal Log. 8(4): 353-356 (1967) - Walter H. O'Briant:
Leibnitz's preference for an intensional logic (A reply to Mr. Parkinson). Notre Dame J. Formal Log. 8(3): 254-256 (1967)