Počet záznamů: 1
Skolemization and Herbrand theorems for lattice-valued logics
- 1.
SYSNO 0501613 Název Skolemization and Herbrand theorems for lattice-valued logics Tvůrce(i) Cintula, Petr (UIVT-O) RID, ORCID, SAI
Diaconescu, D. (RO)
Metcalfe, G. (CH)Korespondující/senior Cintula, Petr - Korespondující autor Zdroj.dok. Theoretical Computer Science. Roč. 768, 10 May (2019), s. 54-75. - : Elsevier Druh dok. Článek v odborném periodiku Grant GBP202/12/G061 GA ČR - Grantová agentura ČR 689176, XE - země EU Institucionální podpora UIVT-O - RVO:67985807 Jazyk dok. eng Země vyd. NL Klíč.slova Skolemization * Herbrand theorems * Non-classical logics * Lattices URL http://dx.doi.org/10.1016/j.tcs.2019.02.007 Trvalý link http://hdl.handle.net/11104/0293600 Název souboru Staženo Velikost Komentář Verze Přístup a0501613.pdf 16 520.2 KB Vydavatelský postprint vyžádat 0501613-prep.pdf 9 254.4 KB https://www.elsevier.com/journals/theoretical-computer-science/03043975/guide-for-authors Autorský preprint povolen
Počet záznamů: 1