Coherence for modalities

DOI10.1016/j.jpaa.2010.09.014zbMath1222.03025arXiv0809.2494OpenAlexW2070357732MaRDI QIDQ531368

Zoran Petrić, Kosta Došen

Publication date: 29 April 2011

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0809.2494

zbMATH Keywords

Frobenius algebrascategorical proof theorymixed distributive lawspositive modalities

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30) Structure of proofs (03F07)

Related Items (3)

Ordinals in Frobenius monads ⋮ Symmetric bimonoidal intermuting categories and \(\omega\times\omega\) reduced bar constructions ⋮ The \(n\)-fold reduced bar construction

Cites Work

• Higher-dimensional word problems with applications to equational logic
• Equality of proofs for linear equality
• Coherence in linear predicate logic
• Cartesian bicategories. I
• Sheaves in geometry and logic: a first introduction to topos theory
• Minimality of the system of seven equations for the category of finite sets
• Self-adjunctions and matrices.
• Towards an algebraic theory of Boolean circuits.
• Cut elimination in categories
• Untersuchungen über das logische Schliessen. I
• Seminar on triples and categorical homology theory ETH 1966/67
• Eine Bemerkung über Monaden und adjungierte Funktoren
• Generality of proofs and its Brauerian representation
• Simplicial Endomorphisms
• Adjointness in Foundations
• A Brauerian representation of split preorders
• Completeness Before Post: Bernays, Hilbert, and the Development of Propositional Logic
• Category Theory
• Categorical algebra
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Coherence for modalities