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...

Full description

Bibliographic Details

Published in:	Logical methods in computer science Vol. 14, Issue 4; no. Computability and logic
Main Authors:	Brattka, Vasco, Pauly, Arno
Format:	Journal Article
Language:	English
Published:	Logical Methods in Computer Science e.V 25.10.2018
Subjects:	computer science - logic in computer science mathematics - logic
ISSN:	1860-5974, 1860-5974
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!