Multiset consequence relations for substructural logics

Bibliografické údaje

Autoři

• Libor Běhounek
• doc. Ing. Petr Cintula, Ph.D. DSc.

Rok vydání

2013

Typ publikace

Abstrakt

Periodikum

UNILOG 2013. Handbook of the 4th World Congress and School on Universal Logic

Bibliografická citace

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