Autor:	Arno Bastenhof
Rok vydání:	2014
Předmět:	Similarity (geometry) Image (category theory) Calculus Extension (predicate logic) Type (model theory) Mirroring Mathematics
Zdroj:	Lecture Notes in Computer Science ISBN: 9783642547881 Categories and Types in Logic, Language, and Physics
DOI:	10.1007/978-3-642-54789-8_3
Popis:	The topic of this paper concerns a particular extension of Lambek’s syntactic calculus [5] that was proposed by Grishin [4]. Roughly, the usual residuated family ( ⊗ ,/,\) is extended by a coresiduated triple ( Open image in new window ) mirroring its behavior in the inequality sign
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::4cd4c7f336725d0c292488c0548e4002 https://doi.org/10.1007/978-3-642-54789-8_3 Zobrazit plný text záznamu