Lattice-Based Paraconsistent Logic

Wendy MacCaull, Dimiter Vakarelov. Lattice-Based Paraconsistent Logic. In Wendy MacCaull, Michael Winter, Ivo Düntsch, editors, Relational Methods in Computer Science, 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26,. Volume 3929 of Lecture Notes in Computer Science, pages 173-187, Springer, 2005. [doi]

Authors

Wendy MacCaull

This author has not been identified. Look up 'Wendy MacCaull' in Google

Dimiter Vakarelov

This author has not been identified. Look up 'Dimiter Vakarelov' in Google