Studia Logica 50 (3-4):571 - 605 (1991)
|Abstract||Dynamic algebras combine the classes of Boolean (B 0) and regular (R ; *) algebras into a single finitely axiomatized variety (B R ) resembling an R-module with scalar multiplication . The basic result is that * is reflexive transitive closure, contrary to the intuition that this concept should require quantifiers for its definition. Using this result we give several examples of dynamic algebras arising naturally in connection with additive functions, binary relations, state trajectories, languages, and flowcharts. The main result is that free dynamic algebras are residually finite (i.e. factor as a subdirect product of finite dynamic algebras), important because finite separable dynamic algebras are isomorphic to Kripke structures. Applications include a new completeness proof for the Segerberg axiomatization of prepositional dynamic logic, and yet another notion of regular algebra.|
|Keywords||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
Maarten De Rijke (1995). The Logic of Peirce Algebras. Journal of Logic, Language and Information 4 (3).
Roberto Cignoli & Antoni Torrens Torrell (2006). Free Algebras in Varieties of Glivenko MTL-Algebras Satisfying the Equation 2(X2) = (2x). Studia Logica 83 (1-3):157 - 181.
Wlesław Dziobiak (1982). Concerning Axiomatizability of the Quasivariety Generated by a Finite Heyting or Topological Boolean Algebra. Studia Logica 41 (4):415 - 428.
Joel Berman & W. J. Blok (2004). Free Łukasiewicz and Hoop Residuation Algebras. Studia Logica 77 (2):153 - 180.
Marco Hollenberg & Albert Visser (1999). Dynamic Negation, the One and Only. Journal of Logic, Language and Information 8 (2):137-141.
Jean A. Larson (1985). The Number of One-Generated Cylindric Set Algebras of Dimension Greater Than Two. Journal of Symbolic Logic 50 (1):59-71.
Bronisław Tembrowski (1983). The Theory of Boolean Algebras with an Additional Binary Operation. Studia Logica 42 (4):389 - 405.
Daniele Mundici (1995). Averaging the Truth-Value in Łukasiewicz Logic. Studia Logica 55 (1):113 - 127.
Tomasz Kowalski (2002). PDL has Interpolation. Journal of Symbolic Logic 67 (3):933-946.
Marco Hollenberg (1997). An Equational Axiomatization of Dynamic Negation and Relational Composition. Journal of Logic, Language and Information 6 (4):381-401.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Total downloads1 ( #274,921 of 549,124 )
Recent downloads (6 months)0
How can I increase my downloads?