Number of the records: 1
First-order substructural logics
- 1.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
Substructural logics are a prominent family of non-classical logics whose complete semantics is given by classes of residuated lattices. While there is a vast literature on all thinkable aspects of propositional substructural logics, the works focusing on first-order predicate substructural logics are few and far between (with most prominent contributions by Hiroakira Ono.
Permanent Link: http://hdl.handle.net/11104/0299200
File Download Size Commentary Version Access 0508234-aw.pdf 1 115.7 KB volně online Publisher’s postprint open-access
Number of the records: 1