Graduate studies at Western
Journal of Logic, Language and Information 4 (3):227-250 (1995)
|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.|
|Keywords||Peirce algebras modal logic algebraic logic relation algebras logics of programs knowledge representation|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Vaughan Pratt (1991). Dynamic Algebras: Examples, Constructions, Applications. Studia Logica 50 (3-4):571 - 605.
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.
Daniele Mundici (1995). Averaging the Truth-Value in Łukasiewicz Logic. Studia Logica 55 (1):113 - 127.
Tarek Sayed Ahmed (2005). Algebraic Logic, Where Does It Stand Today? Bulletin of Symbolic Logic 11 (4):465-516.
P. Garcia & F. Esteva (1995). On Ockham Algebras: Congruence Lattices and Subdirectly Irreducible Algebras. Studia Logica 55 (2):319 - 346.
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.
Yde Venema (1995). Cylindric Modal Logic. Journal of Symbolic Logic 60 (2):591-623.
Roger D. Maddux (1989). Nonfinite Axiomatizability Results for Cylindric and Relation Algebras. Journal of Symbolic Logic 54 (3):951-974.
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 downloads14 ( #90,649 of 738,370 )
Recent downloads (6 months)1 ( #61,778 of 738,370 )
How can I increase my downloads?