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)|
References found in this work BETA
Derivation Rules as Anti-Axioms in Modal Logic.Yde Venema - 1993 - Journal of Symbolic Logic 58 (3):1003-1034.
Sahlqvist's Theorem for Boolean Algebras with Operators with an Application to Cylindric Algebras.Maarten de Rijke & Yde Venema - 1995 - Studia Logica 54 (1):61-78.
Elimination of Quantifiers in the Semantics of Natural Language by Use of Extended Relation Algebras.Patrick Suppes - 1976 - Revue Internationale de Philosophie 30 (3/4=117/118):243-259.
Variable-Free Semantics for Anaphora.Michael Böttner - 1992 - Journal of Philosophical Logic 21 (4):375 - 390.
The Representation of Relational Algebras.Roger C. Lyndon - 1951 - Journal of Symbolic Logic 16 (4):279-280.
Citations of this work BETA
A System of Dynamic Modal Logic.de Rijke Maarten - 1998 - Journal of Philosophical Logic 27 (2):109-142.
Peirce's Contributions to Possible-Worlds Semantics.Ahti-Veikko Pietarinen - 2006 - Studia Logica 82 (3):345 - 369.
Similar books and articles
Dynamic Algebras: Examples, Constructions, Applications.Vaughan Pratt - 1991 - Studia Logica 50 (3-4):571 - 605.
C. S. Peirce's Proof of Frobenius' Theorem on Finite-Dimensional Real Associative Division Algebras.Thomas G. McLaughlin - 2004 - Transactions of the Charles S. Peirce Society 40 (4):701 - 710.
Averaging the Truth-Value in Łukasiewicz Logic.Daniele Mundici - 1995 - Studia Logica 55 (1):113 - 127.
On Ockham Algebras: Congruence Lattices and Subdirectly Irreducible Algebras.P. Garcia & F. Esteva - 1995 - Studia Logica 55 (2):319 - 346.
The Origin of Relation Algebras in the Development and Axiomatization of the Calculus of Relations.Roger D. Maddux - 1991 - Studia Logica 50 (3-4):421 - 455.
Nonfinite Axiomatizability Results for Cylindric and Relation Algebras.Roger D. Maddux - 1989 - Journal of Symbolic Logic 54 (3):951-974.
Undecidable Relativizations of Algebras of Relations.Szabolcs Mikulás & Maarten Marx - 1999 - Journal of Symbolic Logic 64 (2):747-760.
Added to index2009-01-28
Total downloads29 ( #169,734 of 2,146,214 )
Recent downloads (6 months)1 ( #387,123 of 2,146,214 )
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.