@incollection{aucher:hal-03498949,
TITLE = {Towards Universal Logic: Gaggle Logics},
AUTHOR = {Aucher, Guillaume},
URL = {https://hal.science/hal-03498949},
NOTE = {This publication differs very slightly from the article ''Towards Universal Logic: Gaggle Logics. Journal of Applied Logics - IfCoLoG Journal of Logics and their Applications, College Publications, 2020, 7 (6), pp.875-945. ⟨hal-03046655⟩'' (https://hal.archives-ouvertes.fr/hal-03046655). It essentially corrects minor mistakes and typos and proves that the rule of associativity is derivable in GGL.},
BOOK
TITLE = {Selected Topics from Contemporary Logics},
EDITOR = {Melvin Fitting},
PUBLISHER = {College Publications},
SERIES = {Landscapes in Logic},
PAGES = {5 - 73},
YEAR = {2021},
MONTH = Oct, KEYWORDS = {substructural logics ; residuation ; gaggle theory ; display calculus ; group theory ; action of group ; free group and free product},
PDF = {https://hal.science/hal-03498949/file/Aucher-Towards_Universal_Logic_Gaggle_Logics-2021.pdf},
HAL_ID = {hal-03498949},
HAL_VERSION = {v1},
}
Affichage BibTex