Results 91 to 100 of about 3,353 (149)

Symmetries among Multivariate Information Measures Explored Using Möbius Operators. [PDF]

Entropy (Basel), 2019
Galas DJ, Sakhanenko NA.
europepmc   +1 more source

The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar. [PDF]

J Autom Reason, 2018
Bancerek G, Byliński C, Grabowski A, Korniłowicz A, Matuszewski R, Naumowicz A, Pąk K.   +6 more
europepmc   +1 more source

Etale algebras over finite Heyting algebras

In this paper, we investigate the concept of local homeomorphism in Esakia spaces. We introduce the notion of etale Heyting H-algebra and establish category-theoretic duality for etale Heyting H-algebra in the case of finite Heyting algebra H. Furthermore, we give an identity that axiomatizes the variety of etale Heyting H-algebras when H is finite. We
openaire   +2 more sources

Profinite bi-Heyting algebras

Algebra universalis
Abstract A poset $${\mathbb {X}}$$ X is said to be zigzag image-finite, if the least updownset (i.e., both an upset and a downset) containing x is finite, for all $$x\in X.$$
openaire   +2 more sources

Holistic Type Extension for Classical Logic via Toffoli Quantum Gate. [PDF]

Entropy (Basel), 2019
Freytes H, Giuntini R, Sergioli G.
europepmc   +1 more source

Quantum-like behavior without quantum physics I : Kinematics of neural-like systems. [PDF]

J Biol Phys, 2017
Selesnick SA, Rawling JP, Piccinini G.
europepmc   +1 more source

Some Advances in the Combinatory Theory of Quantification. [PDF]

Proc Natl Acad Sci U S A, 1942
Curry HB.
europepmc   +1 more source