Keywords – non-classical logics and programming

Jair Minoro Abe, Kazumi Nakamatsu and Bráulio Coelho Ávila