Basket

0508234 - ÚI 2020 NL eng A - Abstract
Cintula, Petr
First-order substructural logics.
WoLLIC 2019. Programme. Utrecht: Utrecht University, 2019.
[WoLLIC 2019. International Workshop on Logic, Language, Information and Computation /26./. 02.07.2019-05.07.2019, Utrecht]
Institutional support: RVO:67985807
Keywords : substructural logics
https://wollic2019.sites.uu.nl/wp-content/uploads/sites/455/2019/06/Cintula.pdf
Permanent Link: http://hdl.handle.net/11104/0299200