The modular branching rule for affine Hecke algebras of type A
43
0
0
Texto
Documentos relacionados
Section 4 presents a modular tableau- based proof theory for several modal logics in the context of n-SST; it presents several examples and proofs of soundness and completeness of