The paper described below is available by FTP or the web as follows. FTP ftp boole.stanford.edu cd pub bin get llcocl.ps.gz WEB URL: http://boole.stanford.edu/pub/llcocl.ps.gz Linear Logic complements Classical Logic V.R. Pratt To appear in preliminary proceedings of Linear Logic '96, Tokyo Classical logic enforces the separation of individuals and predicates, linear logic draws them together via interaction; these are not right-or-wrong alternatives but dual or complementary logics. Linear logic is an incomplete realization of this duality. While its completion is not essential for the development and maintenance of logic, it is crucial for its application. We outline the ``four-square'' program for completing the connection, whose corners are set, function, number, and arithmetic, and define ordinal Set, a bicomplete *equational* topos, meaning its canonical isomorphisms are identities, including associativity of product. This directory also contains 44 other papers on related topics. For a list of abstracts, see the file ABSTRACTS in this directory, URL: http://boole.stanford.edu/pub/ABSTRACTS Vaughan Pratt