Unified correspondence as a proof-theoretic tool

  title={Unified correspondence as a proof-theoretic tool},
  author={Giuseppe Greco and Minghui Ma and Alessandra Palmigiano and Apostolos Tzimoulis and Zhiguang Zhao},
  journal={J. Log. Comput.},
The present paper aims at establishing formal connections b etween correspondence phenomena, well known from the area of modal logic, and the theory of display calculi, originated by Belnap. These connections have been seminally observed and exploit ed by Marcus Kracht, in the context of his characterization of the modal axioms (which he ca lls primitive formulas) which can be effectively transformed into ‘analytic’ structural rules of d isplay calculi. In this context, a rule is ‘analytic’ if… CONTINUE READING
This paper has been referenced on Twitter 5 times. VIEW TWEETS

From This Paper

Figures, tables, and topics from this paper.


Publications referenced by this paper.

Similar Papers

Loading similar papers…