Title: Structures with many-valued information and their relational proof theory
Authors: Ivo Düntsch , Dept of Computer Science , Brock University , St Catherines, Ontario, L2S 3A1, Canada
Ewa Orlowska, Institute of Telecommunications, Warsaw, Poland
Wendy MacCaull , Department of Mathematics, Statistics and Computer Science , St. Francis Xavier University
Status: Proc of 30th IEEE International Symposium on Multiple-Valued Logic , (2000), 293-301
Abstract: We present a uniform relational framework for developing proof systems for theories of many valuedness 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 SHn logics, mv-algebras and many-valued information systems.

View technical report version