Scholarly Works

Structures with many-valued information and their...

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

Associated Experts

Wendy MacCaull

Adjunct Professor, Faculty of Engineering

Labels

Fields of Research (FoR)

46 Information and Computing Sciences 4904 Pure Mathematics 49 Mathematical Sciences 50 Philosophy and Religious Studies 5003 Philosophy

View published work (Non-McMaster Users)

Contact the Experts team

Get technical help

or

Provide website feedback