- G. N. Georgacarakos:
Semantics for S4.03. Notre Dame J. Formal Log. 18(3): 504-506 (1977) - Judith L. Gersting:
Infinite series of regressive isols under addition. Notre Dame J. Formal Log. 18(2): 299-304 (1977) - Judy Green:
Next P admissible sets are of cofinality ω. Notre Dame J. Formal Log. 18(1): 175-176 (1977) - Richard Guhl:
Two notes on recursively enumerable vector spaces. Notre Dame J. Formal Log. 18(2): 295-298 (1977) - Judith M. Harper, Jean E. Rubin:
Variations of Zorn's lemma, principles of cofinality, and Hausdorff's maximal principle. II. Class forms. Notre Dame J. Formal Log. 18(1): 151-163 (1977) - John L. Hickman:
Regressive order-types. Notre Dame J. Formal Log. 18(1): 169-174 (1977) - John L. Hickman:
Critical points of normal functions. I. Notre Dame J. Formal Log. 18(4): 527-534 (1977) - Kanzo Hino:
On Yablonskii theory concerning functional completeness of k-valued logic. Notre Dame J. Formal Log. 18(2): 251-254 (1977) - Charles E. Hughes
, Wilson E. Singletary:
The one-one equivalence of some general combinatorial decision problems. Notre Dame J. Formal Log. 18(2): 305-309 (1977) - Luisa Iturrioz:
An axiom system for three-valued Łukasiewicz propositional calculus. Notre Dame J. Formal Log. 18(4): 616-620 (1977) - Robert V. Kohn:
Some Post-complete extensions of S2 and S3. Notre Dame J. Formal Log. 18(3): 467-470 (1977) - James George Kowalski:
Leśniewski's ontology extended with the axiom of choice. Notre Dame J. Formal Log. 18(1): 1-78 (1977) - Hugues Leblanc:
A strong completeness theorem for 3-valued logic. II. Notre Dame J. Formal Log. 18(1): 107-116 (1977) - John Loader:
Second order and higher order universal decision elements in m-valued logic. Notre Dame J. Formal Log. 18(2): 313-317 (1977) - Gabriele Lolli:
On Ramsey's theorem and the axiom of choice. Notre Dame J. Formal Log. 18(4): 599-601 (1977) - Klaus Mainzer:
Is the intuitionistic bar-induction a constructive principle? Notre Dame J. Formal Log. 18(4): 583-588 (1977) - David Marshall:
Łukasiewicz, Leibniz and the arithmetization of the syllogism. Notre Dame J. Formal Log. 18(2): 235-242 (1977) - John Neil Martin:
An axiomatization of Herzberger's 2-dimensional presuppositional semantics. Notre Dame J. Formal Log. 18(3): 378-382 (1977) - Richard Milton Martin:
Some thomistic properties of primordiality. Notre Dame J. Formal Log. 18(4): 567-582 (1977) - Gerald J. Massey:
Negation, material equivalence, and conditioned nonconjunction: completeness and duality. Notre Dame J. Formal Log. 18(1): 140-144 (1977) - Robert P. McArthur:
Three-valued free tense logic. Notre Dame J. Formal Log. 18(1): 101-106 (1977) - Thomas G. McLaughlin:
Degrees of unsolvability and strong forms of ΛR + ΛR ⊈ ΛR. Notre Dame J. Formal Log. 18(4): 545-566 (1977) - Daniel D. Merrill:
On De Morgan's argument. Notre Dame J. Formal Log. 18(1): 133-139 (1977) - Gary H. Merrill:
On an enduring non sequitur of Quine's. Notre Dame J. Formal Log. 18(4): 613-615 (1977) - Robert K. Meyer:
First degree formulas in Curry's LD. Notre Dame J. Formal Log. 18(1): 181-191 (1977) - Emily Michael:
A note on the roots on Peirce's division of logic into three branches. Notre Dame J. Formal Log. 18(4): 639-640 (1977) - Satoshi Miura, Shigeo Ohama:
A note on Thomason's representation of S5. Notre Dame J. Formal Log. 18(1): 177-180 (1977) - Robert W. Murungi:
Necessitas consequentis in a singleton possible world. Notre Dame J. Formal Log. 18(4): 637-638 (1977) - Patric Cean Nolan:
A semantics model for imperatives. Notre Dame J. Formal Log. 18(1): 79-84 (1977) - Piergiorgio Odifreddi:
A note on Suzuki's chain of hyperdegrees. Notre Dame J. Formal Log. 18(4): 589-590 (1977)
