Algebra di Robbins: differenze tra le versioni

Versione delle 17:40, 19 mag 2020

Versione delle 21:33, 19 mag 2020

Riga 1:

{{O|matematica|maggio 2020}}

{{U|pagina=Algebra di Boole|argomento=matematica|verso=a|data=maggio 2020}}

In [[algebra astratta]], un'algebra di '''Robbins''' è un'algebra contenente una unica [[operazione binaria]], solitamente indicata da <math>\lor</math> e una unica [[operazione unaria]] solitamente indicata da <math>\neg</math> . Queste operazioni soddisfano i seguenti [[Algebra universale|assiomi]] :

Riga 32:

* Dahn, B. I. (1998) Abstract di "[https://www.sciencedirect.com/science/article/pii/S0021869398974671 Robbins Algebras Are Boolean: A Revision of McCune's Computer-Generated Solution of Robbins Problem]", ''Journal of Algebra'' 208 (2): 526–32.

* Mann, Allen (2003) " [http://math.colgate.edu/~amann/MA/robbins_complete.pdf A Complete Proof of the Robbins Conjecture]"

* William McCune, "Le [http://calculemus.org/MathUniversalis/4/6robbins.html Robbins Algebras Are Boolean]", con collegamenti a dimostrazioni e altri documenti.

[[Categoria:Metodi formali]]

[[Categoria:Algebra di Boole]]