An environment for specifying properties of dyadic relations and reasoning about them. II: Relational presentation of non-classical logics.

A. FORMISANO

OMODEO, EUGENIO

E. ORLOWSKA