Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Action_algebra> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items per page.
- Action_algebra abstract "In algebraic logic, an action algebra is an algebraic structure which is both a residuated semilattice and a Kleene algebra. It adds the star or reflexive transitive closure operation of the latter to the former, while adding the left and right residuation or implication operations of the former to the latter. Unlike dynamic logic and other modal logics of programs, for which programs and propositions form two distinct sorts, action algebra combines the two into a single sort. It can be thought of as a variant of intuitionistic logic with star and with a noncommutative conjunction whose identity need not be the top element. Unlike Kleene algebras, action algebras form a variety, which furthermore is finitely axiomatizable, the crucial axiom being a•(a → a)* ≤ a. Unlike models of the equational theory of Kleene algebras (the regular expression equations), the star operation of action algebras is reflexive transitive closure in every model of the equations.".
- Action_algebra wikiPageID "12415190".
- Action_algebra wikiPageRevisionID "544878994".
- Action_algebra hasPhotoCollection Action_algebra.
- Action_algebra subject Category:Algebraic_logic.
- Action_algebra subject Category:Algebraic_structures.
- Action_algebra subject Category:Formal_languages.
- Action_algebra type AlgebraicStructures.
- Action_algebra type Artifact100021939.
- Action_algebra type Object100002684.
- Action_algebra type PhysicalEntity100001930.
- Action_algebra type Structure104341686.
- Action_algebra type Whole100003553.
- Action_algebra type YagoGeoEntity.
- Action_algebra type YagoPermanentlyLocatedEntity.
- Action_algebra comment "In algebraic logic, an action algebra is an algebraic structure which is both a residuated semilattice and a Kleene algebra. It adds the star or reflexive transitive closure operation of the latter to the former, while adding the left and right residuation or implication operations of the former to the latter. Unlike dynamic logic and other modal logics of programs, for which programs and propositions form two distinct sorts, action algebra combines the two into a single sort.".
- Action_algebra label "Action algebra".
- Action_algebra label "作用代数".
- Action_algebra sameAs m.02w4cqk.
- Action_algebra sameAs Q4677173.
- Action_algebra sameAs Q4677173.
- Action_algebra sameAs Action_algebra.
- Action_algebra wasDerivedFrom Action_algebra?oldid=544878994.
- Action_algebra isPrimaryTopicOf Action_algebra.