Structures with Many-Valued Information and Their Relational Proof Theory

Ivo Düntsch, Wendy MacCaull, Ewa Orlowska. Structures with Many-Valued Information and Their Relational Proof Theory. In ISMVL. pages 293, 2000. [doi]

Abstract

Abstract is missing.