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.
|
|
