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]

[thumbnail of Full Text] Text (Full Text)

Download (67kB)
[thumbnail of Abstract] 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