ML-1995-09: Decidability and Finite Model Property of Substructural Logics

ML-1995-09: Ono, Hiroakira (1995) Decidability and Finite Model Property of Substructural Logics. [Report]

[img] Text (Full Text)

Download (67kB)
[img] Text (Abstract)

Download (637B)


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.

Item Type: Report
Report Nr: ML-1995-09
Series Name: Mathematical Logic and Foundations (ML)
Year: 1995
Date Deposited: 12 Oct 2016 14:40
Last Modified: 12 Oct 2016 14:40

Actions (login required)

View Item View Item