26 citations · 131 across the 26 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.LO2018★ 9 cited
Goldblatt-Thomason for LE-logics
Willem Conradie, Alessandra Palmigiano, Apostolos Tzimoulis
We prove a uniform version of the Goldblatt-Thomason theorem for logics algebraically captured by normal lattice expansions (normal LE-logics).
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…