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.
Similar content being viewed by others
References
De Bakker, J.W. and de Roever, W.P., 1973, “A calculus for recursive program schemes,” pp. 167–196 inAutomata, Languages and Programming, M. Nivat, ed., Amsterdam: North-Holland.
Van Benthem, J., 1976, “Modal correspondence theory,” PhD thesis, Mathematisch Instituut & Instituut voor Grondslagenonderzoek, University of Amsterdam.
Van Benthem, J., 1991,Language in Action, Amsterdam: North-Holland.
Van Benthem, J., 1994, “A note on dynamic arrow logic,” pp. 15–29 inLogic and Information Flow, J. van Eijck and A. Visser, eds., Cambridge: MIT Press.
Böttner, M., 1992, “Variable-free semantics for anaphora,”Journ. Philos. Logic 21, 375–390.
Brink, C., 1981, “Boolean modules,”Journ. Algebra 71, 291–313.
Brink, C., Britz, K., and Schmidt, R., 1994, “Peirce algebras,”Formal Aspects of Computing 6, 339–358.
Burris, S. and Sankappanavar, H.P., 1981,A Course in Universal Algebra, Berlin: Springer Verlag.
Goldblatt, R., 1995, “Saturation and the Hennessy-Milner property,” pp. 107–129 inModal Logic and Process Algebra, A. Ponse, M. de Rijke, and Y. Venema, eds., Stanford: CSLI Publications.
Hoare, C. and He, J., 1987, “The weakest prespecification,”Inform. Proc. Letters 24, 127–132.
Van der Hoek, W. and de Rijke, M., 1995, “Counting objects,”Journ. Logic and Computation 5, 325–435.
Hollenberg, M., 1995, “Hennessy-Milner classes and process algebra,” pp. 187–216 inModal Logic and Process Algebra, A. Ponse, M. de Rijke, and Y. Venema, eds., Stanford: CSLI Publications.
Jönsson, B., 1982, “Varieties of relation algebras,”Algebra Universalis 15, 273–298.
Jónsson, B., 1991, “The theory of binary relations,” pp. 477–495 inAlgebraic Logic, H. Andréka, J. Monk, and I. Neméti, eds., Amsterdam: North-Holland.
Lyndon, R., 1950, “The representation of relational algebras,”Annals of Mathematics 51, 73–101.
Maddux, R., 1982, “Some varieties containing relation algebras,”Transactions of the American Mathematical Society 272, 501–526.
Marx, M., 1995, Algebraic Relativization and Arrow Logic. PhD thesis, ILLC Dissertation Series 1995–3, ILLC, University of Amsterdam.
De Rijke, M., 1995a, Modal model theory, Technical report CS-R9517, CWI, Amsterdam.
De Rijke, M., 1995b, A modal characterization of Peirce algebras, Technical report CS-R9562, CWI, Amsterdam.
De Rijke, M., 1993, Correspondence theory for extended modal logics, Technical report ML-93-16, ILLC, University of Amsterdam. To appear inMath. Logic Quarterly.
De Rijke, M., 1994, A modal characterization of Peirce algebras. Submitted.
De Rijke, M., 1995, Modal model theory, Technical report CS-R9517, CWI, Amsterdam.
De Rijke, M. and Venema, Y., 1995, “Sahlqvist's theorem for boolean algebras with operators”.Studia Logica 54, 61–78.
Schmidt, R., 1993, “Terminological representation, natural language and relation algebra,” pp. 357–371 inProc. GWAI-92, H. Ohlbach, ed. Berlin: Springer-Verlag.
Suppes, P., 1976, “Elimination of quantifiers in the semantics of natural language by use of extended relation algebra,”Revue Intern. de Philosophie 30, 243–259.
Venema, Y., 1991, Many-Dimensional Modal Logic, PhD thesis, ILLC, Dept. of Mathematics and Computer Science, University of Amsterdam.
Venema, Y., 1993, “Derivation rules as anti-axioms in modal logic,”Journ. Symbolic Logic 58, 1003–1034.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
De Rijke, M. The logic of Peirce algebras. J Logic Lang Inf 4, 227–250 (1995). https://doi.org/10.1007/BF01049414
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01049414