On reduced matrices |
| |
Authors: | Wolfgang Rautenberg |
| |
Affiliation: | (1) II. Math. Inst. Fu Berlin, Arnimallee 3, 1000 Berlin 33 |
| |
Abstract: | It is shown that the class of reduced matrices of a logic is a 1st order -class provided the variety associated with has the finite replacement property in the sense of [7]. This applies in particular to all 2-valued logics. For 3-valued logics the class of reduced matrices need not be 1st order. |
| |
Keywords: | 03B22 03B20 08B05 |
本文献已被 SpringerLink 等数据库收录! |
|