We prove undecidability and pinpoint the place in the arithmetical hierarchy for commutative action logic, that is, the equational theory of commutative residuated Kleene lattices action lattices , … Expand.
View 3 excerpts. Computer Science, Mathematics. Highly Influenced. View 11 excerpts, cites background. The equational theory of Kleene lattices. On interval dynamic logic: Introducing quasi-action lattices. Action Logic is Undecidable.
ACM Trans. We present an uniform framework for … Expand. Residuated Lattices with iteration 2. Background: Semirings and Kleene algebras 3. A Gentzen system for Residuated Kleene Lattices and some reducts 4. Aho, J. Hopcroft, and J. Addison-Wesley, Garey and D. Freeman, Tarjan, Data Structures and Network Algorithms. NC NP-completeness algorithm algorithms automata automata theory complexity theory of computation algorithm analysis and problem complexity.
Authors and affiliations Dexter C. Kozen 1 1. You also have the option to opt-out of these cookies. But opting out of some of these cookies may have an effect on your browsing experience. Necessary cookies are absolutely essential for the website to function properly. This category only includes cookies that ensures basic functionalities and security features of the website.
These cookies do not store any personal information. Any cookies that may not be particularly necessary for the website to function and is used specifically to collect user personal data via analytics, ads, other embedded contents are termed as non-necessary cookies. We also use third-party cookies that help us analyze and understand how you use this website.
These cookies will be stored in your browser only with your consent. You also have the option to opt-out of these cookies. But opting out of some of these cookies may have an effect on your browsing experience. Necessary cookies are absolutely essential for the website to function properly. This category only includes cookies that ensures basic functionalities and security features of the website.
0コメント