Multiset consequence relations for substructural logics
Bibliographic details
- Authors
- Libor Běhounek, Petr Cintula
- Publication year
- Publication type
- Abstrakt
- Periodical
- UNILOG 2013. Handbook of the 4th World Congress and School on Universal Logic
- Bibliographic citation
- BĚHOUNEK, Libor, CINTULA, Petr. Multiset consequence relations for substructural logics. In: BÉZIAU, J.Y., BUCHSBAUM, A., COSTA-LEITE, A., ALTAIR, A., eds. 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, S. 272-272.
- ID
- 391877