An algorithm for axiomatization and theorem proving in finite many-valued logics

Walter A Carnielli

Abstract


Without abstract

Refbacks

  • There are currently no refbacks.