Decidability and Finite Model Property of Substructural Logics
Hiroakira Ono

Abstract:
In this paper, we will give a short survey of results on decision problems 
and the finite model property of substructural logics. The paper is far from 
a complete list of these results, since a lot of results have been obtained 
already in some restricted classes of substructural logics, like relevant 
logics, and therefore it is impossible to cover all of them. Our aim of the 
present paper is to try to compare results from different classes of 
substructural logics with each other and discuss them as a whole, in order 
to get a perspective of them.