Structures with many-valued information and their relational proof theory
Ivo Düntsch, Wendy MacCaull, Ewa S. Orłowska · 2002
We present a uniform relational framework for developing proof systems for theories of manyvaluedness that may have the form of a logical system, of a class of algebra or of an information system. We outline a construction of proof systems for SH/sub n/ logics, mv-algebra and many-valued information systems.