7 citations · 21 across the 16 of their papers we have counts for
1 paper · 2 filters
Marco Abbadini, Francesca Guffanti
Boolean hyperdoctrines provide an algebraic semantics for classical first-order logic with equality. In the definition of a Boolean hyperdoctrine, the Beck--Chevalley condition cap…