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. |
Year | DOI | Venue |
---|---|---|
1993 | 10.1007/BF01053064 | Studia Logica |
Keywords | Field | DocType |
03B22,03B20,08B05,Reduced matrices,finite replacement | Discrete mathematics,Algebra,Matrix (mathematics),Algorithm,Mathematics | Journal |
Volume | Issue | Citations |
52 | 1 | 4 |
PageRank | References | Authors |
0.85 | 1 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Wolfgang Rautenberg | 1 | 90 | 17.27 |