|
|||||
|
|
Matrix representations for structural strengthenings of a propositional logic |
|
| Authors: | Piotr Wojtylak |
| Affiliation: | (1) Institute of Mathematics, Silesian University, Katowice |
| Abstract: | The aim of this paper is to show that the operations of forming direct products and submatrices suffice to construct exhaustive semantics for all structural strengthenings of the consequence determined by a given class of logical matrices. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |