scientific article; zbMATH DE number 549971
From MaRDI portal
Publication:4287490
zbMath0814.03024MaRDI QIDQ4287490
Publication date: 20 June 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
relation algebrasdynamic logic2-categorymonoidKleene algebraresiduationHorn theorytwo-dimensional logicsregular algebraHilbert-style axiomatizationaction algebraequational extensionequational theory of regular expressions
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (46)
A Finite Axiomatisation of Finite-State Automata Using String Diagrams ⋮ A UTP approach for rTiMo ⋮ Developments in concurrent Kleene algebra ⋮ An exercise on the generation of many-valued dynamic logics ⋮ Nonfinite axiomatizability of the equational theory of shuffle ⋮ Complexity of a fragment of infinitary action logic with exponential via non-well-founded proofs ⋮ Axiomatizing the equational theory of regular tree languages ⋮ Merging without mystery or: Variables in dynamics semantics ⋮ Automated Reasoning in Higher-Order Regular Algebra ⋮ Axiomatizing shuffle and concatenation in languages ⋮ Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview ⋮ The equational logic of fixed points ⋮ Programming and automating mathematics in the Tarski-Kleene hierarchy ⋮ HSP type theorems in the category of posets ⋮ On the equational definition of the least prefixed point. ⋮ Embedding Kozen-Tiuryn logic into residuated one-sorted Kleene algebra with tests ⋮ An algebraic glimpse at bunched implications and separation logic ⋮ Powerset Residuated Algebras and Generalized Lambek Calculus ⋮ On tools for completeness of Kleene algebra with hypotheses ⋮ Infinitary action logic with multiplexing ⋮ A restricted fragment of the Lambek calculus with iteration and intersection operations ⋮ Axiomatizability of positive algebras of binary relations ⋮ Equational properties of fixed-point operations in cartesian categories: An overview ⋮ On the dynamic logic of agency and action ⋮ Infinitary action logic: complexity, models and grammars ⋮ The variety of Kleene algebras with conversion is not finitely based ⋮ Kleene star, subexponentials without contraction, and infinite computations ⋮ Rewriting extended regular expressions ⋮ Dynamic algebras: Examples, constructions, applications ⋮ The equational theories of representable residuated semigroups ⋮ Unifying Semantics for Concurrent Programming ⋮ Unnamed Item ⋮ Algebraically complete semirings and Greibach normal form ⋮ A system of dynamic modal logic ⋮ Dynamic bracketing and discourse representation ⋮ Infinitary action logic with exponentiation ⋮ A family of graded epistemic logics ⋮ Arrows Pointing at Arrows: Arrow Logic, Relevance Logic, and Relation Algebras ⋮ On equations for union-free regular languages ⋮ A semantics and a logic for \textit{Fuzzy Arden Syntax} ⋮ Extensions of Lambek Calculi ⋮ Lower semilattice-ordered residuated semigroups and substructural logics ⋮ Computing with relational machines ⋮ On the fine-structure of regular algebra ⋮ COMPLEXITY OF THE INFINITARY LAMBEK CALCULUS WITH KLEENE STAR ⋮ Relational semantics for Kleene logic and action logic
This page was built for publication:
