- 1977
- David Meredith:
In memoriam: Carew Arthur Meredith (1904-1976). Notre Dame J. Formal Log. 18(4): 513-516 (1977) - E. H. Alves, Newton C. A. da Costa:
A semantical analysis of the calculi Cn. Notre Dame J. Formal Log. 18(4): 621-630 (1977) - Lee C. Archie, B. G. Hurdle, William Stewart Thomblison:
A note on the truth-table for "if p then q". Notre Dame J. Formal Log. 18(4): 596-598 (1977) - Earline Jennifer Ashworth:
An early fifteenth century discussion of infinite sets. Notre Dame J. Formal Log. 18(2): 232-234 (1977) - A. J. Baker:
Classical logical relations. Notre Dame J. Formal Log. 18(1): 164-168 (1977) - Bernhard Banaschewski:
On G. Spencer Brown's laws of form. Notre Dame J. Formal Log. 18(3): 507-509 (1977) - J. M. Bell, Lloyd Humberstone:
Two systems of presupposition logic. Notre Dame J. Formal Log. 18(3): 321-339 (1977) - David W. Bennett:
A note on the completeness proof for natural deduction. Notre Dame J. Formal Log. 18(1): 145-146 (1977) - Otto Bird:
In memoriam: Ivo Thomas (1912-1976). Notre Dame J. Formal Log. 18(2): 193-194 (1977) - Steven E. Boër:
Logical truth and indeterminacy. Notre Dame J. Formal Log. 18(1): 85-94 (1977) - Ivan Boh:
The "conditionatim"-clause: one of the problems of existential import in the history of logic. Notre Dame J. Formal Log. 18(3): 459-466 (1977) - Richard Butrick:
The numeral axioms. Notre Dame J. Formal Log. 18(3): 475-476 (1977) - Richard Butrick:
A deduction rule for VBTO( )ni=1. Notre Dame J. Formal Log. 18(3): 510-512 (1977) - Robert Warren Button:
When do *continuous extensions exist? Notre Dame J. Formal Log. 18(3): 406-408 (1977) - Paul J. Campbell:
An answer to Armstrong's question about incompleteness in Copi: "A question about incompleteness". Notre Dame J. Formal Log. 18(2): 262-264 (1977) - Seth Catlin:
Pathologies in the ed-regressive sets of order 2. Notre Dame J. Formal Log. 18(4): 535-544 (1977) - Metodej K. Chytil:
Sémantique des formules logiques en forme d'équivalence n-aire (demi-modèles). Notre Dame J. Formal Log. 18(3): 421-435 (1977) - Barry Coburn, David Miller:
Two comments on Lemmon's Beginning logic. Notre Dame J. Formal Log. 18(4): 607-610 (1977) - Fred Coppotelli:
On two first order type theories for the theory of sets. Notre Dame J. Formal Log. 18(1): 147-150 (1977) - Robert H. Cowen:
Generalizing König's infinity lemma. Notre Dame J. Formal Log. 18(2): 243-247 (1977) - Robert H. Cowen:
Binary consistent choice on triples. Notre Dame J. Formal Log. 18(2): 310-312 (1977) - Johannes Czermak:
A remark on Gentzen's calculus of sequents. Notre Dame J. Formal Log. 18(3): 471-474 (1977) - B. Davidson, Frank Cameron Jackson, Robert Pargetter:
Modal trees for T and S5. Notre Dame J. Formal Log. 18(4): 602-606 (1977) - Douglas Dunsmore Daye:
Metalogical incompatibilities in the formal description of Buddhist logic (Nyāya). Notre Dame J. Formal Log. 18(2): 221-231 (1977) - Richard A. DeMillo:
Some applications of model theory to the metatheory of program schemata. Notre Dame J. Formal Log. 18(3): 489-495 (1977) - James W. van Evra:
A reassessment of George Boole's theory of logic. Notre Dame J. Formal Log. 18(3): 363-377 (1977) - Peter A. Facione:
The entailment operator. Notre Dame J. Formal Log. 18(3): 415-420 (1977) - Melvin Fitting:
A tableau system for propositional S5. Notre Dame J. Formal Log. 18(2): 292-294 (1977) - G. N. Georgacarakos:
Abnormal worlds and the non-Lewis modal systems. Notre Dame J. Formal Log. 18(1): 95-100 (1977) - G. N. Georgacarakos:
Additional extensions of S4. Notre Dame J. Formal Log. 18(3): 477-488 (1977)
