Quantum geometry of Boolean algebras and de Morgan duality

نویسندگان

چکیده

We take a fresh look at the geometrization of logic using recently developed tools “quantum Riemannian geometry” applied in digital case over field $\mathbb{F}\_2={0,1}$, extending de Morgan duality to this context differential forms and connections. The $1$-forms correspond graphs exterior derivative subset amounts arrows that cross between set its complement. line graph $0-1-2$ has non-flat but Ricci flat quantum geometry. previously known four geometries on triangle graph, which one is curved, are revisited terms left-invariant differentials, as dual Hopf algebra, group algebra $\mathbb{Z}\_3$. For square, we find moduli geometries, all flat, while for an $n$-gon with $n>4$ unique one, again flat. also propose extension general algebras differentials $\mathbb{F}\_2$.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Dually quasi-De Morgan Stone semi-Heyting algebras II. Regularity

This paper is the second of a two part series. In this Part, we prove, using the description of simples obtained in Part I, that the variety $mathbf{RDQDStSH_1}$ of regular dually quasi-De Morgan Stone semi-Heyting algebras of level 1 is the join of the variety generated by the twenty 3-element $mathbf{RDQDStSH_1}$-chains and the variety of dually quasi-De Morgan Boolean semi-Heyting algebras--...

متن کامل

Dually quasi-De Morgan Stone semi-Heyting algebras I. Regularity

This paper is the first of a two part series. In this paper, we first prove that the variety of dually quasi-De Morgan Stone semi-Heyting algebras of level 1 satisfies the strongly blended $lor$-De Morgan law introduced in cite{Sa12}. Then, using this result and the results of cite{Sa12}, we prove our main result which gives an explicit description of simple algebras(=subdirectly irreducibles) ...

متن کامل

A Characterization of De Morgan Algebras

In this note we show that every de Morgan algebra is isomorphic to a two-subset algebra, 〈P,⊔,⊓,∼, 0P , 1P 〉, where P is a set of pairs (X,Y ) of subsets of a set I, (X,Y )⊔(X , Y ) = (X∩X , Y ∪Y ), (X,Y )⊓(X , Y ) = (X ∪ X , Y ∩ Y ), ∼ (X,Y ) = (Y,X), 1P = (∅, I), and 0P = (I, ∅). This characterization generalizes a previous result that applied only to a special type of de Morgan algebras call...

متن کامل

INVOLUTIVE STONE ALGEBRAS AND REGULAR a-DE MORGAN ALGEBRAS

A piggyback duality and a translation process between this one and a Priestley duality for each subvariety of involutive Stone algebras and regular o-De Morgan algebras is presented. As a consequence we describe free algebras and the prime spectrum of each subvariety.

متن کامل

Congruence Coherent Symmetric Extended de Morgan Algebras

An algebra A is said to be congruence coherent if every subalgebra of A that contains a class of some congruence θ on A is a union of θ-classes. This property has been investigated in several varieties of lattice-based algebras. These include, for example, de Morgan algebras, p-algebras, double p-algebras, and double MS-algebras. Here we determine precisely when the property holds in the class ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of Noncommutative Geometry

سال: 2023

ISSN: ['1661-6960', '1661-6952']

DOI: https://doi.org/10.4171/jncg/460