43 citations · 426 across the 50 of their papers we have counts for
10 papers · 1 filter
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…
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…
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).
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…
Multi-type Display Calculus for Dynamic Epistemic Logic
Sabine Frittella, Giuseppe Greco, Alexander Kurz +2
In the present paper, we introduce a multi-type display calculus for dynamic epistemic logic, which we refer to as Dynamic Calculus. The display-approach is suitable to modularly c…
A Proof-Theoretic Semantic Analysis of Dynamic Epistemic Logic
Sabine Frittella, Giuseppe Greco, Alexander Kurz +2
The present paper provides an analysis of the existing proof systems for dynamic epistemic logic from the viewpoint of proof-theoretic semantics. Dynamic epistemic logic is one of…
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…
Multi-type display calculus for Propositional Dynamic Logic
Sabine Frittella, Giuseppe Greco, Alexander Kurz +1
We introduce a multi-type display calculus for Propositional Dynamic Logic (PDL). This calculus is complete w.r.t. PDL, and enjoys Belnap-style cut-elimination and subformula prope…
Residuation algebras with functional duals
Wesley Fussner, Alessandra Palmigiano
We employ the theory of canonical extensions to study residuation algebras whose associated relational structures are functional, i.e., for which the ternary relations associated t…