TY  - RPRT
TI  - Strong completeness of the logic J
AU  - Juan P. Aguilera
AU  - Grigorii Stepanov
PY  - 2026
UR  - https://arxiv.org/abs/2608.07166
ID  - 2608.07166
ER  -