Conference
Structures with many-valued information and their relational proof theory
Abstract
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.
Authors
Duntsch I; MacCaull W; Orlowska E
Pagination
pp. 293-301
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Publication Date
January 1, 2000
DOI
10.1109/ismvl.2000.848635
Name of conference
Proceedings 30th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2000)
Conference proceedings
Proceedings 30th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2000)
ISSN
0195-623X