Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
A new Glivenko Theorem
View through CrossRef
We generalize the double negation construction of Boolean algebras in Heytingalgebras, to a double negation construction of the same in Visser algebras (alsoknown as basic algebras).This result allows us to generalize Glivenko's Theorem from intuitionisticpropositional logic and Heyting algebras to Visser's basic propositional logicand Visser algebras.
Title: A new Glivenko Theorem
Description:
We generalize the double negation construction of Boolean algebras in Heytingalgebras, to a double negation construction of the same in Visser algebras (alsoknown as basic algebras).
This result allows us to generalize Glivenko's Theorem from intuitionisticpropositional logic and Heyting algebras to Visser's basic propositional logicand Visser algebras.
Related Results
An embedding theorem for multidimensional subshifts
An embedding theorem for multidimensional subshifts
AbstractKrieger’s embedding theorem provides necessary and sufficient conditions for an arbitrary subshift to embed in a given topologically mixing
$\mathbb {Z}$
-subshift of fini...
A Glivenko-Cantelli Bootstrap Theorem for the Foster-Greer-Thorbecke Poverty Index
A Glivenko-Cantelli Bootstrap Theorem for the Foster-Greer-Thorbecke Poverty Index
Abstract.We assume the Foster-Greer-Thorbecke (FGT) poverty index as an empirical process indexed by a particular Glivenko-Cantelli class or collection of functions and define this...
Fermat's Last Theorem: A Proof by Contradiction
Fermat's Last Theorem: A Proof by Contradiction
In this paper I offer an algebraic proof by contradiction of Fermat’s Last Theorem. Using an alternative to the standard binomial expansion, (a+b) n = a n + b Pn i=1 a n−i (a + b) ...
The Gauss–Bonnet theorem
The Gauss–Bonnet theorem
The Gauss–Bonnet theorem is a crowning result of surface theory that gives a fundamental connection between geometry and topology. Roughly speaking, geometry refers to the “local” ...
On state pseudo-hoops
On state pseudo-hoops
AbstractRecently, the bounded pseudo-hoops with internal states have been defined and studied. Some of results are based on the hypothesis that a bounded pseudo-hoop has the Gliven...
A Fundamental Study of Composite Numbers as a Different Perspective on Problems Related to Prime Numbers
A Fundamental Study of Composite Numbers as a Different Perspective on Problems Related to Prime Numbers
Prime number-related issues can be viewed from drastically different perspectives by examining the close connections between prime numbers and composite numbers. We think that mult...
Can a computer proof be elegant?
Can a computer proof be elegant?
In computer science, proofs about computer algorithms are par for the course. Proofs
by
computer algorithms, on the other hand, are not so readily accepted....
Microscopic Foundations of Thermodynamics and Generalized Statistical Ensembles
Microscopic Foundations of Thermodynamics and Generalized Statistical Ensembles
This dissertation aims at addressing two important theoretical questions which are still debated in the statistical mechanical community. The first question has to do with the outs...