@article{aucher:hal-03911802,
TITLE = {On the Universality of Atomic and Molecular Logics via Protologics},
AUTHOR = {Aucher, Guillaume},
URL = {https://hal.science/hal-03911802},
JOURNAL = {Logica Universalis},
PUBLISHER = {Springer Verlag},
VOLUME = {16},
NUMBER = {1-2},
PAGES = {285-322},
YEAR = {2022},
MONTH = Jun, DOI = {10.1007/s11787-022-00298-5},
KEYWORDS = {Universal logic ; expressivity ; first-order logics ; non-classical logics},
PDF = {https://hal.science/hal-03911802/file/HAL-LogicaUniversalis2022.pdf},
HAL_ID = {hal-03911802},
HAL_VERSION = {v1},
}
Affichage BibTex