Relational Methods in Computer Science
From MaRDI portal
Publication:5899316
DOI10.1007/11734673zbMath1185.03049OpenAlexW2482623798MaRDI QIDQ5899316
Wendy MacCaull, Dimiter Vakarelov
Publication date: 2 May 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11734673
Kripke semanticsnegationparaconsistent logicmulti-valued logiclattice representationgraded information
Related Items
Equivalential structures for binary and ternary syllogistics, Distributive contact lattices: topological representations