19 citations · 21 across the 3 of their papers we have counts for
4 papers · 2 filters
Semi De Morgan logic properly displayed
Giuseppe Greco, Fei Liang, M. Andrew Moshier +1
In the present paper, we endow a family of axiomatic extensions of semi De Morgan logic with proper multi-type display calculi which are sound, complete, conservative, and enjoy cu…
Proper Multi-Type Display Calculi for Rough Algebras
Giuseppe Greco, Fei Liang, Krishna Manoorkar +1
In the present paper, we endow the logics of topological quasi Boolean algebras, topological quasi Boolean algebras 5, intermediate algebras of types 1-3, and pre-rough algebras wi…
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…
Kleene algebras, adjunction and structural control
Giuseppe Greco, Fei Liang, Alessandra Palmigiano
In the present paper, we introduce a multi-type calculus for the logic of measurable Kleene algebras, for which we prove soundness, completeness, conservativity, cut elimination an…