scientific article; zbMATH DE number 549971
From MaRDI portal
Publication:4287490
zbMATH Open0814.03024MaRDI QIDQ4287490FDOQ4287490
Authors: Vaughan R. Pratt 
Publication date: 20 June 1995
Title of this publication is not available (Why is that?)
Recommendations
- On Action Logic: Equational Theories of Action Algebras
- Infinitary action logic: complexity, models and grammars
- Relational semantics for Kleene logic and action logic
- On the Complexity of the Equational Theory of Relational Action Algebras
- An infinitary sequent system for the equational theory of *-continuous action lattices
2-categorydynamic logicmonoidKleene algebrarelation algebrasresiduationHorn theorytwo-dimensional logicsregular algebraHilbert-style axiomatizationaction algebraequational extensionequational theory of regular expressions
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Equational logic, Mal'tsev conditions (08B05) Cylindric and polyadic algebras; relation algebras (03G15) Applications of universal algebra in computer science (08A70)
Cited In (56)
- Title not available (Why is that?)
- An infinitary sequent system for the equational theory of *-continuous action lattices
- A semantics and a logic for \textit{Fuzzy Arden Syntax}
- The variety of Kleene algebras with conversion is not finitely based
- Equational properties of fixed-point operations in cartesian categories: An overview
- On the fine-structure of regular algebra
- Computing with relational machines
- An exercise on the generation of many-valued dynamic logics
- Title not available (Why is that?)
- Extensions of Lambek Calculi
- Axiomatizing shuffle and concatenation in languages
- Rational mechanics and natural mathematics
- A system of dynamic modal logic
- Axiomatizing the equational theory of regular tree languages
- A UTP approach for rTiMo
- Embedding Kozen-Tiuryn logic into residuated one-sorted Kleene algebra with tests
- Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview
- On Action Logic: Equational Theories of Action Algebras
- Arrows Pointing at Arrows: Arrow Logic, Relevance Logic, and Relation Algebras
- The equational logic of fixed points
- Developments in concurrent Kleene algebra
- Powerset Residuated Algebras and Generalized Lambek Calculus
- Lower semilattice-ordered residuated semigroups and substructural logics
- Programming and automating mathematics in the Tarski-Kleene hierarchy
- Algebraically complete semirings and Greibach normal form
- On equations for union-free regular languages
- Dynamic bracketing and discourse representation
- On the dynamic logic of agency and action
- A family of graded epistemic logics
- Dynamic algebras: Examples, constructions, applications
- COMPLEXITY OF THE INFINITARY LAMBEK CALCULUS WITH KLEENE STAR
- An algebraic glimpse at bunched implications and separation logic
- Merging without mystery or: Variables in dynamics semantics
- Infinitary action logic with exponentiation
- Axiomatizability of positive algebras of binary relations
- A lemma in the logic of action
- Complexity of a fragment of infinitary action logic with exponential via non-well-founded proofs
- A Finite Axiomatisation of Finite-State Automata Using String Diagrams
- On tools for completeness of Kleene algebra with hypotheses
- On the equational definition of the least prefixed point.
- Infinitary action logic: complexity, models and grammars
- HSP type theorems in the category of posets
- Kleene star, subexponentials without contraction, and infinite computations
- A restricted fragment of the Lambek calculus with iteration and intersection operations
- Infinitary action logic with multiplexing
- Automated Reasoning in Higher-Order Regular Algebra
- Axioms for action
- The equational theories of representable residuated semigroups
- Relational semantics for Kleene logic and action logic
- Nonfinite axiomatizability of the equational theory of shuffle
- Unifying Semantics for Concurrent Programming
- Rewriting extended regular expressions
- On the complexity of reasoning in Kleene algebra with commutativity conditions
- On tools for completeness of Kleene algebra with hypotheses
- Implicational Kleene algebra with domain and the substructural logic of partial correctness
- Algorithmic complexity for theories of commutative Kleene algebras
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4287490)
