The pragmatics of truth functions. - Lucio Chiaraviglio; Albert M. Sweet (Notre Dame J. Formal Log., 1964)

The programmatic semantics of binary predicator calculi. - Jorge Baralt-Torrijos; Lucio Chiaraviglio; William I. Grosky (Notre Dame J. Formal Log., 1975)