• 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.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2090149