Dagger extension theorem

DOI10.1017/S0960129511000326MaRDI QIDQ3094166zbMATH OpenFDO

Authors Tamás Hajgató, Zoltán Ésik

Publication date 21 October 2011

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

Full work available at URL https://doi.org/10.1017/S0960129511000326

zbMATH Keywords

(Conway) semiring(two-sided) ideal\(\Sigma\)-treecoproductdagger theoryfixed-point identitygrove theoryLawvere theorypartial Conway theorypartial iteration theorypartial iterative theorypartial matrix theoryranked alphabetscalar morphism

Mathematics Subject Classification ID

Trees (05C05) Matrices over special rings (quaternions, finite fields, etc.) (15B33) 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) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Equational properties of fixed point operations in Cartesian categories: an overview
• Iteration Grove Theories with Applications
• Equational properties of fixed-point operations in Cartesian categories: an overview
• Equational properties of iteration in algebraically complete categories
• Matrix and matricial iteration theories. II
• scientific article; zbMATH DE number 2040320
• scientific article; zbMATH DE number 1114042
• scientific article; zbMATH DE number 4197440
• Introduction to extensive and distributive categories
• Iteration 2-theories

Cites work

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

Cited in

(3)

• Axiomatizing weighted synchronization trees and weighted bisimilarity
• Iteration Grove Theories with Applications
• A generalized \(\theta\)-contraction and related fixed point theorems

This page was built for publication: Dagger extension theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3094166)