Počet záznamů: 1
Substructural Logics: A logical Glimpse at Residuated Lattices
- 1.0457881 - ÚI 2016 CZ eng A - Abstrakt
Cintula, Petr
Substructural Logics: A logical Glimpse at Residuated Lattices.
AAAA91. 91st Workshop on General Algebra. Brno: MU Brno, 2016. s. 2-2.
[Workshop on General Algebra /91./. 05.02.2016-07.02.2016, Brno]
Institucionální podpora: RVO:67985807
Klíčová slova: substuctural logics * residuated lattices * algebraizable logics * abstract algebraic logic
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0258228
Název souboru Staženo Velikost Komentář Verze Přístup a0457881.pdf 1 1.5 MB Vydavatelský postprint povolen a0457881 slides.pdf 1 4.3 MB Jiná povolen
Počet záznamů: 1