Kleene Algebras and Logic: Boolean and Rough Set Representations, 3-Valued, Rough Set and Perp Semantics

Rough sets

Zdzis aw Pawlak · International Journal of Parallel Programming · 1982 · 12.1K citations

Computing, Computer Science, Mathematics +10

Lattices with involution

J. A. Kalman · Transactions of the American Mathematical Society · 1958 · 266 citations · Full text

Natural Sciences, Mathematics, Algebra +10

Star and Perp: Two Treatments of Negation

J. Michael Dunn · Philosophical Perspectives · 1993 · 179 citations

Natural Sciences, Computer Science, Mathematics +9

Notes on N-lattices and constructive logic with strong negation

Dimiter Vakarelov · Studia Logica · 1977 · 163 citations

Humanities, Computer Science, Mathematics +14

Positive modal logic

J. Michael Dunn · Studia Logica · 1995 · 152 citations