TY  - RPRT
TI  - Classical Mereology is Axiomatizable Using Primitive Fusion in Two Sorted Logic
AU  - Marcin Łyczak
PY  - 2023
UR  - https://arxiv.org/abs/2312.15381
ID  - 2312.15381
ER  -