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

Formisano A.

Omodeo E. G.

Orlowska E.