Dagger extension theorem

DOI10.1017/S0960129511000326zbMath1241.18005MaRDI QIDQ3094166

Tamás Hajgató, Zoltán Ésik

Publication date: 21 October 2011

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

coproductLawvere theoryranked alphabet(two-sided) ideal(Conway) semiring\(\Sigma\)-treedagger theoryfixed-point identitygrove theorypartial Conway theorypartial iteration theorypartial iterative theorypartial matrix theoryscalar morphism

Mathematics Subject Classification ID

Trees (05C05) Matrices over special rings (quaternions, finite fields, etc.) (15B33) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Semirings (16Y60) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Related Items (2)

Axiomatizing weighted synchronization trees and weighted bisimilarity ⋮ A generalized θ-contraction and related fixed point theorems

Cites Work

• Scalar and vector iteration
• Matricial theories
• Group axioms for iteration
• Completeness of Park induction
• Axiomatizing rational power series over natural numbers
• Vector Iteration in Pointed Iterative Theories
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES

This page was built for publication: Dagger extension theorem