arcane
发表于 2025-3-27 00:20:26
Editorial Introduction,After providing an overview of the algebraic investigations into substructural logics in a historical perspective, with a special focus on their relationships with quantum logics, we summarise the contents of the subsequent chapters of this volume.
glucagon
发表于 2025-3-27 04:40:50
http://reply.papertrans.cn/16/1527/152691/152691_32.png
Impugn
发表于 2025-3-27 06:51:28
http://reply.papertrans.cn/16/1527/152691/152691_33.png
捐助
发表于 2025-3-27 13:20:17
978-3-030-52165-3Springer Nature Switzerland AG 2021
reperfusion
发表于 2025-3-27 14:37:24
http://reply.papertrans.cn/16/1527/152691/152691_35.png
charisma
发表于 2025-3-27 21:01:12
https://doi.org/10.1007/978-3-642-20904-8e try to introduce an implication in these lattices which can be easily axiomatized and which yields a nice lattice structure. As shown in the paper, this can be realized in several different ways. Moreover, we reveal the connection of weakly and dually weakly orthomodular lattices to residuated str
Congeal
发表于 2025-3-27 23:20:15
https://doi.org/10.1007/978-3-642-20904-8hen these operators are transformed into lattice terms and the poset . is completed to its Dedekind–MacNeille completion . then the complete lattice . becomes a residuated lattice with respect to these transformed terms. It is shown that this holds in particular for Boolean posets and for relatively
身体萌芽
发表于 2025-3-28 02:56:41
https://doi.org/10.1007/978-3-642-20904-8ttices and Kleene algebras with an extra unary operation. We study in the framework of PBZ.–lattices two constructions—the ordinal sum construction and the horizontal sum construction—that have been widely used in the investigation of both quantum structures and residuated structures. We provide axi
扔掉掐死你
发表于 2025-3-28 06:34:20
http://reply.papertrans.cn/16/1527/152691/152691_39.png
ESPY
发表于 2025-3-28 12:06:12
http://reply.papertrans.cn/16/1527/152691/152691_40.png