DMCA
On Matrix Characterizations for Propositional Substructural Logics (1996)
BibTeX
@MISC{Sandner96onmatrix,
author = {Enno Sandner and Fachgebiet Intellektik and Fachbereich Informatik and Technische Hochschule Darmstadt},
title = {On Matrix Characterizations for Propositional Substructural Logics},
year = {1996}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
. This paper provides a unified approach for matrix characterizations for propositional substructural logics, whereby the focus is laid on a uniform representation of different validity concepts in matrices. Starting from a restricted validity concept for matrices called basic-validity, where a matrix is considered as valid if each literal is connected exactly once, we use rewrite rules to obtain a wider class of validity concepts. Here a matrix is considered as valid if it can be transformed to a basic-valid matrix by using the appropriate rewrite-rules. For each validity concept we give corresponding algebraic semantics. 1 Introduction In the last years there has been an undeniable growing interest in the computer science community concerning non-classical logics. This is on the one side caused by the development of new logics like Girards linear logic [6]. On the other side there are application-domains, for example planning tasks where ordinary first-order logic turns out...
Keyphrases
matrix characterization propositional substructural logic validity concept new logic appropriate rewrite-rules rewrite rule ordinary first-order logic algebraic semantics different validity concept example planning task non-classical logic computer science community uniform representation last year basic-valid matrix unified approach
