David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Journal of Logic, Language and Information 4 (3):227-250 (1995)
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.
|Keywords||Peirce algebras modal logic algebraic logic relation algebras logics of programs knowledge representation|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Vaughan Pratt (1991). Dynamic Algebras: Examples, Constructions, Applications. Studia Logica 50 (3-4):571 - 605.
Roger D. Maddux (1989). Nonfinite Axiomatizability Results for Cylindric and Relation Algebras. Journal of Symbolic Logic 54 (3):951-974.
Yde Venema (1995). Cylindric Modal Logic. Journal of Symbolic Logic 60 (2):591-623.
Roger D. Maddux (1991). The Origin of Relation Algebras in the Development and Axiomatization of the Calculus of Relations. Studia Logica 50 (3-4):421 - 455.
P. Garcia & F. Esteva (1995). On Ockham Algebras: Congruence Lattices and Subdirectly Irreducible Algebras. Studia Logica 55 (2):319 - 346.
Tarek Sayed Ahmed (2005). Algebraic Logic, Where Does It Stand Today? Bulletin of Symbolic Logic 11 (4):465-516.
Daniele Mundici (1995). Averaging the Truth-Value in Łukasiewicz Logic. Studia Logica 55 (1):113 - 127.
Thomas G. McLaughlin (2004). C. S. Peirce's Proof of Frobenius' Theorem on Finite-Dimensional Real Associative Division Algebras. Transactions of the Charles S. Peirce Society 40 (4):701 - 710.
Szabolcs Mikulás & Maarten Marx (1999). Undecidable Relativizations of Algebras of Relations. Journal of Symbolic Logic 64 (2):747-760.
Added to index2009-01-28
Total downloads21 ( #94,340 of 1,679,326 )
Recent downloads (6 months)3 ( #78,911 of 1,679,326 )
How can I increase my downloads?