Počet záznamů: 1
Lambek Calculus with Conjugates
- 1.
SYSNO ASEP 0531299 Druh ASEP J - Článek v odborném periodiku Zařazení RIV J - Článek v odborném periodiku Poddruh J Článek ve WOS Název Lambek Calculus with Conjugates Tvůrce(i) Sedlár, Igor (UIVT-O) RID, ORCID, SAI
Tedder, Andrew (UIVT-O) RID, ORCID, SAICelkový počet autorů 2 Zdroj.dok. Studia Logica. - : Springer - ISSN 0039-3215
Roč. 109, č. 3 (2021), s. 447-470Poč.str. 24 s. Jazyk dok. eng - angličtina Země vyd. NL - Nizozemsko Klíč. slova Conjugates ; Lambek Calculus ; Modal logic ; Routley–Meyer semantics Vědní obor RIV BA - Obecná matematika Obor OECD Pure mathematics CEP GJ18-19162Y GA ČR - Grantová agentura ČR Způsob publikování Omezený přístup Institucionální podpora UIVT-O - RVO:67985807 UT WOS 000553263900001 EID SCOPUS 85088789957 DOI 10.1007/s11225-020-09913-2 Anotace We study an expansion of the Distributive Non-associative Lambek Calculus with conjugates of the Lambek product operator and residuals of those conjugates. The resulting logic is well-motivated, under-investigated and difficult to tackle. We prove completeness for some of its fragments and establish that it is decidable. Completeness of the logic is an open problem. Some difficulties with applying the usual proof method are discussed. Pracoviště Ústav informatiky Kontakt Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Rok sběru 2022 Elektronická adresa http://dx.doi.org/10.1007/s11225-020-09913-2
Počet záznamů: 1