Denisa Diaconescu. On Standard Completeness for Non-commutative Many-Valued Logics. In Kurosh Madani, António Dourado Correia, Agostinho C. Rosa, Joaquim Filipe, editors, Computational Intelligence - International Joint Conference, IJCCI 2012 Barcelona, Spain, October 5-7, 2012 Revised Selected Papers. Volume 577 of Studies in Computational Intelligence, pages 213-227, Springer, 2012. [doi]
Abstract is missing.