A modal characterization of Peirce algebras
Peirce algebras combine sets, relations and various operations linking the two in a unifying setting.This note offers a modal perspective on Peirce algebras.It uses modal logic to characterize the full Peirce algebras.
|General (acm F.3.0), Specifying and Verifying and Reasoning about Programs (acm F.3.1), Knowledge Representation Formalisms and Methods (acm I.2.4)|
|Modal logic (including the logic of norms) (msc 03B45), Cylindric and polyadic algebras; relation algebras (msc 03G15), Other algebras related to logic (msc 03G25), Applications of universal algebra in computer science (msc 08A70)|
|Department of Computer Science [CS]|
de Rijke, M. (1995). A modal characterization of Peirce algebras. Department of Computer Science [CS]. CWI.