Structures with many-valued information and their relational proof theory Conferences

Overview
Research
Identity
Additional Document Info
View All

authors

Duntsch, I
MacCaull, Wendy
Orlowska, E

status

accepted

publication date

January 1, 2000

published in

Proceedings of The International Symposium on Multiple-Valued Logic Journal

presented at event

30th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2000) Conference