The Logic of Peirce Algebras

@article{Rijke1995TheLO,
  title={The Logic of Peirce Algebras},
  author={Maarten de Rijke},
  journal={Journal of Logic, Language and Information},
  year={1995},
  volume={4},
  pages={227-250}
}
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… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.

References

Publications referenced by this paper.
Showing 1-10 of 15 references

Counting objects

  • W. Van der Hock, M. de Rijke
  • 1995

Correspondence theory for extended modal logics

  • M. Amsterdam. De Rijke
  • Technical report ML-93-16,
  • 1993

Variable-free semantics for anaphora,

  • M. Press. Bttner
  • Journ. Philos. Logic
  • 1992

Similar Papers

Loading similar papers…