Embedding Classical Logic into Basic Orthologic with a Primitive Modality.

Giulia Battilotti Embedding Classical Logic into Basic Orthologic with a Primitive Modality. 383-402 1998 6 Logic Journal of the IGPL 3 http://www3.oup.co.uk/igpl/Volume_06/Issue_03/#battilotti db/journals/igpl/igpl6.html#Battilotti98