A Brauerian representation of split preorders

DOI10.1002/malq.200310063zbMath1035.03034arXivmath/0211277OpenAlexW2076812578MaRDI QIDQ4452452

Zoran Petrić, Kosta Došen

Publication date: 12 February 2004

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

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

zbMATH Keywords

representationdigraphsBrauer algebrascategories of proofsIdentity criteria for proofs

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Structure of proofs (03F07) Directed graphs (digraphs), tournaments (05C20) Graphs, diagram schemes, precategories (18A10) Representation theory of associative rings and algebras (16G99) Foundations, relations to logic and deductive systems (18A15)

Related Items (8)

Medial commutativity ⋮ Simplicial Endomorphisms ⋮ Equality of proofs for linear equality ⋮ Coherence for modalities ⋮ REPRESENTING CONJUNCTIVE DEDUCTIONS BY DISJUNCTIVE DEDUCTIONS ⋮ Spheres as Frobenius objects ⋮ Coherence for star-autonomous categories ⋮ Isomorphic formulae in classical propositional logic

This page was built for publication: A Brauerian representation of split preorders