Basket

0391877 - ÚI 2014 PT eng A - Abstract
Běhounek, Libor - Cintula, Petr
Multiset consequence relations for substructural logics.
UNILOG 2013. Handbook of the 4th World Congress and School on Universal Logic. Rio de Janeiro: ECEME - Escola de Comando e Estado-Maior do Exército, 2013 - (Béziau, J.; Buchsbaum, A.; Costa-Leite, A.; Altair, A.). s. 272-272
[UniLog 2013. World Congress and School on Universal Logic /4./. 29.03.2013-07.04.2013, Rio de Janeiro]
Institutional support: RVO:67985807
Keywords : consequence relation * local consequence * substructural logics * relace dusledku * lokální důsledek * substrukturální logiky
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0220851