Skip to search formSkip to main contentSkip to account menu

Action algebra

Known as: Action logic, Residuated Kleene algebra 
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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

6 relations
Dynamic logic (modal logic)Formal languageKleene algebraKleene star

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Tunneling decay of false kinks
We consider the decay of “false kinks,” that is, kinks formed in a scalar field theory with a pair of degenerate symmetry… 
2011
2011
Remote inversion method of internal action logic of protection device
The invention provides a realization method in which intermediate node information correlated to an internal action logic of a… 
2011
2011
Capturing the relative distribution of features for action recognition
This paper presents an approach to the categorisation of spatio-temporal activity in video, which is based solely on the relative… 
2008
2008
Generalized Frobenius Algebras and the Theory of Hopf Algebras
"Co-Frobenius" coalgebras were introduced as dualizations of Frobenius algebras. Recently, it was shown in \cite{I} that they… 
2005
2005
Self-adaptive automatic bus transfer scheme and its realization
According to the basic principle of automatic bus transfer,a new scheme is presented,which is designed for the typical and… 
Review
2005
Review
2005
The Use of Logic Models in Health Promotion Practice
A review of recent professional literature related to health promotion practice and research indicates that the use of logic… 
2004
2004
Guarded Actions
Guarded actions are changes with preconditions acting as a guard. Guarded action models are multimodal Kripke models with the… 
2004
2004
Seifert Gm-bundles
Seifert fibered 3–manifolds were introduced and studied in [Sei32], see also [ST80]. Roughly speaking, these are 3–manifolds M… 
2002
2002
Interpolation Properties of Action Logic: Lazy-Formalization to the Frame Problem
This paper makes a contribution to the meta-theory of reasoning about action. We present two interpolation properties of action… 
2000
2000
AFFIRMATIVE ACTION SUCCESS AS MEASURED BY JOB SATISFACTION
Affirmative action represents a major goal fo r South African organisations since the initiation o f the process o f… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)