Fundamental properties of Kleene-Stone logic functions
Noboru Takagi, Masao Mukaidono · 2002
Kleene-Stone algebras have been proposed as an algebra with the properties of both Kleene algebra and Stone algebra. Therefore, they have connections with ambiguity and modality. A Kleene-Stone logic function is defined as a function F: