Počet záznamů: 1
First-order substructural logics
- 1.0508234 - ÚI 2020 NL eng A - Abstrakt
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]
Institucionální podpora: RVO:67985807
Klíčová slova: 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.
Trvalý link: http://hdl.handle.net/11104/0299200
Název souboru Staženo Velikost Komentář Verze Přístup 0508234-aw.pdf 1 115.7 KB volně online Vydavatelský postprint povolen
Počet záznamů: 1