Tameness in generalized metric structures

We broaden the framework of metric abstract elementary classes (mAECs) in several essential ways, chiefly by allowing the metric to take values in a well-behaved quantale. As a proof of concept we show that the result of Boney and Zambrano on (metric) tameness under a large cardinal assumption holds in this more general context. We briefly consider a further generalization to partial metric spaces, and hint at connections to classes of fuzzy structures, and structures on sheaves

Logical structures underlying quantum computing

In this work we advance a generalization of quantum computational logics capable of dealing with some important examples of quantum algorithms. We outline an algebraic axiomatization of these structures

Logical structures underlying quantum computing

In this work we advance a generalization of quantum computational logics capable of dealing with some important examples of quantum algorithms. We outline an algebraic axiomatization of these structures.Fil: Holik, Federico Hernán. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - La Plata. Instituto de Física La Plata. Universidad Nacional de La Plata. Facultad de Ciencias Exactas. Instituto de Física La Plata; ArgentinaFil: Sergioli, Giuseppe. Università Degli Studi Di Cagliari.; ItaliaFil: Freytes Solari, Hector Carlos. Università Degli Studi Di Cagliari.; Italia. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Plastino, Ángel Luis. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - La Plata. Instituto de Física La Plata. Universidad Nacional de La Plata. Facultad de Ciencias Exactas. Instituto de Física La Plata; Argentin