LCS Publication Details
Publication Title: DYNAMIC ALGEBRAS AND THE NATURE OF INDUCTION
Publication Author: Pratt, Vaughan R.
Additional Authors:
LCS Document Number: MIT-LCS-TM-159
Publication Date: 3-1-1980
LCS Group: No Group Specified
Additional URL: No URL Given
Abstract:
Dynamic algebras constitute the variety (equationally defined class) of models of the Segerberg axioms for propositional dynamic logic. We obtain the following results (to within inseparability). (i) In any dynamic algebra * is reflexive transitive closure. (iii) Every free dynamic algebra can be factored into infinite dynamic algebras. (ii) and (iii) imply Parikh's completeness theorem for the Segerberg axioms, We also present an approach to treating the inductive aspect of recursion within dynamic algebras.
To obtain this publication:

    To purchase a printed copy of this publication please contact MIT Document Services.