Unified correspondence as a proof-theoretic tool

DOI10.1093/logcom/exw022zbMath1444.03055arXiv1603.08204OpenAlexW2963466275MaRDI QIDQ4612445

Apostolos Tzimoulis, Minghui Ma, Zhiguang Zhao, Alessandra Palmigiano, Giuseppe Greco

Publication date: 31 January 2019

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1603.08204

zbMATH Keywords

display calculidistributive lattice expansionsunified correspondenceproperly displayable logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items

Linear Logic Properly Displayed, Syntactic Completeness of Proper Display Calculi, Non-normal modal logics and conditional logics: semantic analysis and proof theory, Sequent systems for negative modalities, Disentangling structural connectives or life without display property, Intermediate logics admitting a structural hypersequent calculus, Labelled calculi for lattice-based modal logics, Subordination algebras as semantic environment of input/output logic, Algorithmic correspondence and canonicity for non-distributive logics, Semi De Morgan logic properly displayed, Unnamed Item, Bilattice logic properly displayed, Unnamed Item, Proper multi-type display calculi for rough algebras