1995
A modal characterization of Peirce algebras
Publication
Publication
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.
Additional Metadata | |
---|---|
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) | |
CWI | |
Department of Computer Science [CS] | |
de Rijke, M. (1995). A modal characterization of Peirce algebras. Department of Computer Science [CS]. CWI.
|