Logics of programs
Keyword: Logics of programs
Article in Journal | Posted 21/01/2015
Maarten, De Rijke (1995). The Logic of Peirce Algebras
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...