Uniform interpolation and coherence

DOI10.1016/J.APAL.2019.02.004zbMath1532.03027arXiv1803.09116MaRDI QIDQ6299513

George Metcalfe, Tomasz Kowalski

Publication date: 24 March 2018

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logical aspects of lattices and related structures (03G10) Other algebras related to logic (03G25) Free algebras (08B20) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

This page was built for publication: Uniform interpolation and coherence