- Osamu Morikawa:
Some Modal Logics Based on a Three-Valued Logic. Notre Dame J. Formal Log. 30(1): 130-137 (1989) - James C. Owings:
Corrigendum to "Diagonalization and the Recursion Theorem". Notre Dame J. Formal Log. 30(1): 153 (1989) - Alberto Peruzzi:
The Theory of Descriptions Revisited. Notre Dame J. Formal Log. 30(1): 91-104 (1989) - Ildikó Sain:
An Elementary Proof for Some Semantic Characterizations of Nondeterministic Floyd-Hoare Logic. Notre Dame J. Formal Log. 30(4): 563-573 (1989) - George F. Schumm:
Some Compactness Results for Modal Logic. Notre Dame J. Formal Log. 30(2): 285-290 (1989) - Peter M. Simons:
Combinators and Categorial Grammar. Notre Dame J. Formal Log. 30(2): 241-261 (1989) - John K. Slaney:
On the Structure of De Morgan Monoids with Corollaries on Relevant Logic and Theories. Notre Dame J. Formal Log. 30(1): 117-129 (1989) - Jan M. Smith:
Propositional Functions and Families of Types. Notre Dame J. Formal Log. 30(3): 442-458 (1989) - Charles Steinhorn, Carlo Toffalori:
The Boolean Spectrum of an o-Minimal Theory. Notre Dame J. Formal Log. 30(2): 197-206 (1989) - Neil Tennant:
Truth Table Logic, with a Survey of Embeddability Results. Notre Dame J. Formal Log. 30(3): 459-484 (1989) - Igor Urbas:
Paraconsistency and the ℂ-Systems of da Costa. Notre Dame J. Formal Log. 30(4): 583-597 (1989) - Albert Visser:
Peano's Smart Children: A Provability Logical Study of Systems with Built-in Consistency. Notre Dame J. Formal Log. 30(2): 161-196 (1989)
