Annals of Pure and Applied Logic
Admissibility of Π<sub>2</sub>-Inference Rules: interpolation, model completion, and contact algebras
Publication date: Available online 18 July 2022Source: Annals of Pure and Applied LogicAuthor(s): Nick Bezhanishvili, Luca Carai, Silvio Ghilardi, Lucia Landi