19 citations · 49 across the 19 of their papers we have counts for
Showing 2018Show all
3 papers · 1 filter
math.LO2018
Logics for Rough Concept Analysis
Giuseppe Greco, Peter Jipsen, Krishna Manoorkar +2
Taking an algebraic perspective on the basic structures of Rough Concept Analysis as the starting point, in this paper we introduce some varieties of lattices expanded with normal…
math.RA2018★ 2 cited
Nonassociative right hoops
Peter Jipsen, Michael Kinyon
The class of nonassociative right hoops, or narhoops for short, is defined as a subclass of right-residuated magmas, and is shown to be a variety. These algebras generalize both ri…
math.LO2018★ 19 cited
Algebraic proof theory for LE-logics
Giuseppe Greco, Peter Jipsen, Fei Liang +2
In this paper we extend the research programme in algebraic proof theory from axiomatic extensions of the full Lambek calculus to logics algebraically captured by certain varieties…