Room P3.10, Mathematics Building

João Rasga, SQIG - Instituto de Telecomunicações / IST - U Lisboa
Preservation of admissible rules by the product of matrix logics

Admissible rules are shown to be preserved by the product of matrix logics. A basis is given for the product, providing that the components enjoy some mild conditions, taking into account reflection results of admissible rules. Structural completeness and decidability of admissible rules are shown to be preserved.  Finally the complexity of the decision algorithm is also analyzed. The results capitalize on the complete axiomatization of the product of matrix logics provided by their meet-combination.

The talk reports on ongoing joint work with Cristina Sernadas and Amílcar Sernadas.