Filters
Embedding Kozen-Tiuryn Logic into Residuated One-Sorted Kleene Algebra with Test
formulas. Kozen and Tiuryn's logic extends Kleene algebra with tests, where partial correctness assertions are represented by equations, not terms. Kleene algebraKozen and Tiuryn have introduced the substructural logic...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2022 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Implicational Kleene Algebra With Domain and the Substructural Logic of Partial Correctness
We show that Kozen and Tiuryn’s substructural logic of partial correctness S embeds into the equational theory of Kleene algebra with domain, KAD. We provide an implicational formulation of KAD which sets S in the context of implica...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2024 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
On the Complexity of Kleene Algebra with Domain
We prove that the equational theory of Kleene algebra with domain is EXPTIME-complete. Our proof makes essential use of Hollenberg’s equational axiomatization theory of Kleene algebra with domain coincides with the equational theory...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2023 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Completeness of Finitely Weighted Kleene Algebra with Tests
Building on Ésik and Kuich’s completeness result for finitely weighted Kleene algebra, we establish relational and language completeness results for finitely weighted Kleene algebra with tests. Similarly as Ésik and Kuich, we assume...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2024 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Representability of Kleene Posets and Kleene Lattices
A Kleene lattice is a distributive lattice equipped with an antitone involution International Symposium on Multiple-Valued Logic, Springer, 2022), we showed how to construct such Kleene lattices or Kleene posets fr...
Pure mathematics
- 2024 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Implication in Sharply Paraorthomodular and Relatively Paraorthomodular Posets
of Kleene lattices.
Pure mathematics
- 2024 •
- C •
- Link
Rok uplatnění
C - Kapitola v odborné knize
Výsledek na webu
Kleene posets and pseudo-Kleene posets
The concept of a Kleene algebra was already generalized by the first author for non-distributive lattices under the name pseudo-Kleene algebra. We extend these concepts to posets and show how (pseudo-)Kleene posets can be c...
Pure mathematics
- 2022 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Fuzzy Relational Modalities Admitting Truth-Valueless Propositions
logic (Bochvar, Sobocinski, Kleene) and show some of their properties. We also present a faithful syntactic translation of the resulting fuzzy partial modal logic to first-order fuzzy partial logic....
Pure mathematics
- 2020 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
A note on pseudo-Kleene algebras
We desribe some important properties of algebras which generalize the so-called Kleene algebras...
BA - Obecná matematika
- 2016 •
- Jx •
- Link
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Kleene Algebra With Tests for Weighted Programs
. Kleene algebra with tests is an algebraic formalism based on regular expressions with applications in proving program equivalence. We extend the language of Kleene algebra generalize the relational semantics to an appropriate exte...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2023 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
- 1 - 10 out of 9 334