Structures with many-valued information and their relational proof theory

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.