| 1 |
| Author | H. Ono | | Title | Decidability and Finite Model Property of Substructural Logics |
| Faculty | Faculty of Humanities
Faculty of Science |
| Institute/dept. |
FGw/FNWI: Institute for Logic, Language and Computation
|
| Keywords | Unknown |
| Series | ILLC Mathematical Logic and Foundations / ILLC ; ML-1995-9 |
| Abstract | Decidability and finite model property of substructural logics
Hiroakira Ono
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. |
| Document type | Preprint |
| Download paper | |
| Document finder | 
|
Use this url to link to this page: http://dare.uva.nl/en/record/114316
Contact us about this recordNotify a colleague
Add to bookbag
|
