DocumentCode :
2090149
Title :
Structures with many-valued information and their relational proof theory
Author :
Düntsch, Ivo ; MacCaull, Wendy ; Orlowska, Ewa
Author_Institution :
Sch. of Inf. & Software Eng., Ulster Univ., Jordanstown, UK
fYear :
2000
fDate :
2000
Firstpage :
293
Lastpage :
301
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 SHn logics, mv-algebra and many-valued information systems
Keywords :
multivalued logic; relational algebra; theorem proving; many-valued information systems; manyvaluedness; mv-algebra; proof systems; relational proof theory; Algebra; Computer science; Equations; Information systems; Knowledge representation; Logic functions; Mathematics; Multivalued logic; Software engineering; Statistics;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Multiple-Valued Logic, 2000. (ISMVL 2000) Proceedings. 30th IEEE International Symposium on
Conference_Location :
Portland, OR
ISSN :
0195-623X
Print_ISBN :
0-7695-0692-5
Type :
conf
DOI :
10.1109/ISMVL.2000.848635
Filename :
848635
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2090149
بازگشت