L. Landi

most citedAdmissibility of

Π_{2}

-Inference Rules: interpolation, model completion, and contact algebras

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

math.LO2022★ 1 cited

Admissibility of $Π_{2}$ -Inference Rules: interpolation, model completion, and contact algebras

Nick Bezhanishvili, Luca Carai, Silvio Ghilardi +1

We devise three strategies for recognizing admissibility of non-standard inference rules via interpolation, uniform interpolation, and model completions. We apply our machinery to…

Admissibility of Π2​-Inference Rules: interpolation, model completion, and contact algebras

Admissibility of $Π_{2}$ -Inference Rules: interpolation, model completion, and contact algebras