On the algebraic structure of Weihrauch degrees

We introduce two new operations (compositional products and implication) on Weihrauch degrees, and investigate the overall algebraic structure. The validity of the various distributivity laws is studied and forms the basis for a comparison with similar structures such as residuated lattices and conc...

Celý popis

Podrobná bibliografie

Vydáno v:	Logical methods in computer science Ročník 14, Issue 4; číslo Computability and logic
Hlavní autoři:	Brattka, Vasco, Pauly, Arno
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Logical Methods in Computer Science e.V 25.10.2018
Témata:	computer science - logic in computer science mathematics - logic
ISSN:	1860-5974, 1860-5974
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!