Počet záznamů: 1
Is multiset consequence trivial?
- 1.
SYSNO 0466816 Název Is multiset consequence trivial? Tvůrce(i) Cintula, Petr (UIVT-O) RID, ORCID, SAI
Paoli, F. (IT)Korespondující/senior Paoli, F. - Korespondující autor Zdroj.dok. Synthese. Roč. 199, Suppl. 3 (2021), s. 741-765. - : Springer Druh dok. Článek v odborném periodiku Grant GA13-14654S GA ČR - Grantová agentura ČR 689176, XE - země EU Institucionální podpora UIVT-O - RVO:67985807 Jazyk dok. eng Země vyd. NL Klíč.slova contraction-free logics * multiset consequence * substructural logics * multiple conclusions URL http://dx.doi.org/10.1007/s11229-016-1209-7 Trvalý link http://hdl.handle.net/11104/0265069 Název souboru Staženo Velikost Komentář Verze Přístup 0466816.pdf 23 877.6 KB GSp Autorský preprint povolen
Počet záznamů: 1