19 citations · 21 across the 3 of their papers we have counts for
6 papers
Vector spaces as Kripke frames
Giuseppe Greco, Fei Liang, Michael Moortgat +2
In recent years, the compositional distributional approach in computational linguistics has opened the way for an integration of the \emph{lexical} aspects of meaning into Lambek's…
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…
Bilattice Logic Properly Displayed
Giuseppe Greco, Fei Liang, Alessandra Palmigiano +1
We introduce a proper multi-type display calculus for bilattice logic (with conflation) for which we prove soundness, completeness, conservativity, standard subformula property and…