@techreport{aucher:hal-03800002,
TITLE = {Display and Hilbert Calculi for Atomic and Molecular Logics},
AUTHOR = {Aucher, Guillaume},
URL = {https://inria.hal.science/hal-03800002},
TYPE = {Research Report},
INSTITUTION = {Universit{\'e} de Rennes 1},
YEAR = {2022},
MONTH = Oct, PDF = {https://inria.hal.science/hal-03800002/file/AtomicMolecularLogicsCorrespondenceTheoryPart1.pdf},
HAL_ID = {hal-03800002},
HAL_VERSION = {v1},
}