@article{Maarten1995,
author = "De Rijke Maarten",
title = "{The Logic of Peirce Algebras}",
year = 1995,
journal = "Journal of Logic, Language and Information",
volume = 4,
number = "3",
pages = "227-250",
abstract = "{Peirce algebras combine sets, relations and various operations linking the two in a unifying setting. This paper offers a modal perspective on Peirce algebras. Using modal logic a characterization of the full Peirce algebras is given, as well as a finite axiomatization of their equational theory that uses so-called unorthodox derivation rules. In addition, the expressive power of Peirce algebras is analyzed through their connection with first-order logic, and the fragment of first-order logic corresponding to Peirce algebras is described in terms of bisimulations.
}",
url = "http://link.springer.com/article/10.1007/BF01049414",
keywords = "Peirce algebras, Modal logic, Algebraic logic, Relation algebras, Logics of programs, Knowledge representation",
language = "English",
note = "From the Commens Bibliography | \url{http://www.commens.org/bibliography/journal_article/maarten-de-rijke-1995-logic-peirce-algebras}"
}
