@misc{indiciae5429668649b4, title = {Admissibility of \$Π\_2\$-Inference Rules: interpolation, model completion, and contact algebras}, author = {Nick Bezhanishvili and Luca Carai and Silvio Ghilardi and Lucia Landi}, year = {2022}, url = {https://arxiv.org/abs/2201.06076}, note = {Source identifier: 2201.06076} }