TY  - RPRT
TI  - Bi-intermediate logics of trees and co-trees
AU  - N. Bezhanishvili
AU  - M. Martins
AU  - T. Moraschini
PY  - 2024
UR  - https://arxiv.org/abs/2211.14776
ID  - 2211.14776
ER  -