19 citations · 19 across the 2 of their papers we have counts for
2 papers
math.LO2022
Semiconic Idempotent Logic II: Beth Definability and Deductive Interpolation
Wesley Fussner, Nick Galatos
Semiconic idempotent logic sCI is a common generalization of intuitionistic logic, semilinear idempotent logic sLI, and in particular relevance logic with mingle. We establish the…
math.LO2017★ 19 cited
Categories of Models of R-Mingle
Wesley Fussner, Nick Galatos
We give a new Esakia-style duality for the category of Sugihara monoids based on the Davey-Werner natural duality for lattices with involution, and use this duality to greatly simp…