Algorithmic Correspondence Theory for Substructural Categorial Logic - researchr publication

researchr

You are not signed in
Sign in
Sign up

Marcelo Finger. Algorithmic Correspondence Theory for Substructural Categorial Logic. In Frank Wolter, Heinrich Wansing, Maarten de Rijke, Michael Zakharyaschev, editors, Advances in Modal Logic 3, papers from the third conference on Advances in Modal logic, held in Leipzig (Germany) in October 2000. pages 153-172, World Scientific, 2000.

Abstract is missing.

runs on WebDSL