A modal characterization of Peirce algebras

de Rijke, Maarten

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
ACM	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)
MSC	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)
Publisher	CWI
Series	Department of Computer Science [CS]
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	de Rijke, M. (1995). A modal characterization of Peirce algebras. Department of Computer Science [CS]. CWI.

Free Full Text ( Final Version , 227kb )

A modal characterization of Peirce algebras

Publication

Publication

Address

Publishing at CWI

Questions or comments?

A modal characterization of Peirce algebras

Publication

Publication

Workflow

Workflow

Add Content