8 citations · 8 across the 1 of their papers we have counts for
3 papers
cs.LO2017★ 8 cited
Graphical Sequent Calculi for Modal Logics
Minghui Ma, Ahti-Veikko Pietarinen
The syntax of modal graphs is defined in terms of the continuous cut and broken cut following Charles Peirce's notation in the gamma part of his graphical logic of existential grap…
math.LO2016
Unified Correspondence and Proof Theory for Strict Implication
Minghui Ma, Zhiguang Zhao
The unified correspondence theory for distributive lattice expansion logics (DLE-logics) is specialized to strict implication logics. As a consequence of a general semantic conseva…
math.LO2016
Unified Correspondence as a Proof-Theoretic Tool
Giuseppe Greco, Minghui Ma, Alessandra Palmigiano +2
The present paper aims at establishing formal connections between correspondence phenomena, well known from the area of modal logic, and the theory of display calculi, originated b…