TY  - RPRT
TI  - Notion of validity for the bilateral classical logic
AU  - Ukyo Suzuki
AU  - Yoriyuki Yamagata
PY  - 2023
UR  - https://arxiv.org/abs/2310.13376
ID  - 2310.13376
ER  -