TY  - JOUR
AU  - Szmuc, Damian E.
TI  - The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework)
JO  - Bulletin of the Section of Logic
PY  - 2021
SP  - 421
EP  - 453
VL  - 50
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/BSL_2021_50_4_a0/
LA  - en
ID  - BSL_2021_50_4_a0
ER  -