Equivalence between non commutative MV-algebras and suitable lattice-groups?

Giancarlo Luigi Meloni @Giancarlo-Meloni

05 August 2016 1 9K Report

what are the best proofs of the equivalence berween non commutative MV-algebras and suitable lattice-groups?

I may think one route: Use category theory and try to generalise Mundici's equivalence, to the non-commutative case. A similar theme, that might be helpful is the generalizations of Algebraic Geometry to non-commutative one!

Badges
Science topic

More Giancarlo Luigi Meloni's questions See All

How can I reach convergence in a nonlinear static analysis with ANSYS?

Hi everyone, I am performing a static analysis in ANSYS APDL to simulate a silicon component subjected to large deformation. The undeformed configuration reproduces a portion of an annulus and...

25 September 2019 7,859 4 View

MD MOE RMSD

How to calculate the RMSD values for a MD simulation using MOE?

07 August 2021 0 0 View

MD MOE RMSD

How to calculate the RMSD values for a MD simulation using MOE?

07 August 2021 0 0 View

fatal error

When I tried to energy minimization my system, I got fatal error as below. Fatal error: Atomtype opls_116 not found Although I've already added this line: ; include water #include "oplsaa.ff/spc.itp" to [molecultype] directive in my topology.

16 June 2021 0 0 View

fatal error

16 June 2021 0 0 View

fatal error

16 June 2021 0 0 View

fatal error

16 June 2021 0 0 View

Resistor definition in Piezoelectric bimorph with ANSYS workbench

Hello, good day! I am trying to simulate similar bimorph piezoelectric harvester with below commands. However, the output power doesn't change with resistor value. Please help to find the reason. ET,10,CIRCU94,0 !SET UP RESISTOR R,1,100000 !RESISTANCE VALUE TYPE,10 !SET ELEMENT TYPE E,1,2 !CREATE RESISTOR BETWEEN NODES 1 AND 2 Thanks in advance Regards,

02 March 2021 0 0 View

Why are the velocities so high in my Boussinesq approximation Fluent simulation?

Hello, I have a mechanism where air rises due to convective flows. In this simulation, nothing is driving the air except this. I understand that the Boussinesq approximation only works for small...

02 March 2021 4,910 3 View

What is the characteristic length to determine the Reynolds number for the scattered turbulent fluid flow?

Dear all, I just saw this example in FB on the difference between laminar flow and turbulent flow. The flow from a pipe hits the sink and scattered. The flow from the pipe is characterized as...

02 March 2021 1,999 5 View

Is there a powerful system for the security of the systems distributed on IoT systems?

02 March 2021 3,858 10 View