Date: Mon, 31 Jul 1995 16:06:54 -0300 (ADT)
From: categories <cat-dist@mta.ca>
To: categories <categories@mta.ca>
Subject: Conceptual Completeness

Date: Mon, 31 Jul 1995 15:05:28 -0300 (ADT)
From: Wendy MacCaull <wmaccaul@juliet.stfx.ca>


I would like to find out what work has been done relating to the question
of "conceptual completeness"  (in the sense of Makkai & Reyes (LNM 611),
with extention by Pitts (ANAL vol 41) ) for fragments of linear logic or
other substructural logics.

Results obtained, references and/or information on who is or has worked on
this problem would be appreciated.

Thanks!

Wendy  MacCaull