Modules over quantaloids: Applications to the isomorphism problem in algebraic logic and π-institutions

An extension of the Galois theory of Grothendieck

André Joyal, Myles Tierney · Memoirs of the American Mathematical Society · 1984 · 524 citations

Algebraic Theory, Galois Theory, Universal Algebra +1

Algebraic Semantics for Universal Horn Logic Without Equality

W. J. Blok · Medical Entomology and Zoology · 1992 · 108 citations

Non-classical Logic, Algebraic Logic, Automated Reasoning +5

Categorical structures enriched in a quantaloid: tensored and cotensored categories

Isar Stubbe · ArXiv.org · 2004 · 91 citations · Full text

Representation Theory, Cocomplete Q-categories, Higher Category Theory +8

Tensor Products and Bimorphisms

Bernhard Banaschewski, Evelyn Nelson · Canadian Mathematical Bulletin · 1976 · 84 citations · Full text

Hopf Algebra, Abstract Algebra, Representation Theory +7

Equivalence of Consequence Operations

W. J. Blok, Bjàrni Jónsson · Studia Logica · 2006 · 75 citations

Engineering, Automated Reasoning, Verification +6