@misc{indiciae598daf40ff81, title = {Semiconic Idempotent Logic II: Beth Definability and Deductive Interpolation}, author = {Wesley Fussner and Nick Galatos}, year = {2023}, url = {https://arxiv.org/abs/2208.09724}, note = {Source identifier: 2208.09724} }