TY  - RPRT
TI  - The intuitionistic-like logic based on a poset
AU  - Ivan Chajda
AU  - Helmut Länger
PY  - 2023
UR  - https://arxiv.org/abs/2308.11350
ID  - 2308.11350
ER  -