Encontrados 2 documentos, a visualizar página 1 de 1
Automatic structures for semigroup constructions
Andrade, I.; Descalço, L.; Martins, Manuel A.We survey results concerning automatic structures for semigroup constructions, providing references and describing the corresponding automatic structures. The constructions we consider are: free products, direct products, Rees matrix semigroups, Bruck-Reilly extensions and wreath products. ; FCT via UIMA
On the injectivity of the Leibniz operator
Descalço, L.; Martins, Manuel A.The class of weakly algebrizable logics is defined as the class of logics having monotonic and injective Leibniz operator. We show that \monotonicity" can- not be discarded on this definition, by presenting an example of a system with injective and non monotonic Leibniz operator. We also show that the non injectivity of the non protoalgebraic inf-sup fragment of the Classic Propositional Calculus, CPC_{inf,sup}...
| Financiadores do RCAAP | |||||||
|
|
|
|
|
|
||