Corpus ID: 235435783

An alternative axiomatic presentation of Nelson algebras

@inproceedings{Cornejo2021AnAA,
  title={An alternative axiomatic presentation of Nelson algebras},
  author={J. M. Cornejo and A. Gallardo and L. Monteiro and I. Viglizzo},
  year={2021}
}
Nelson algebras are defined in [BM67] in terms of the language 〈∧,∨,→,∼, 1〉. In 1962, Diana Brignole [Bri65], solved the problem proposed by Antonio Monteiro, of giving an axiomatization of Nelson algebras in terms of the connectives ֌, ∧ and the constant 0 =∼ 1. In this work we present for the first time a complete proof of this fact, and also show the dependence and independence of some of the axioms proposed by Brignole. 

References

SHOWING 1-10 OF 17 REFERENCES
Characterisations of Nelson algebras
Nelson algebras arise naturally in algebraic logic as the algebraic models of Nelson's constructive logic with strong negation. This note gives two characterisations of the variety of Nelson algebrasExpand
Constructive Logic with Strong Negation is a Substructural Logic. II
TLDR
This paper shows that constructive logic with strong negation N is definitionally equivalent to a certain axiomatic extension NFLew of the substructural logic FLew. Expand
Constructive Logic with Strong Negation as a Substructural Logic
TLDR
A Glivenko-like theorem relating CLSN and three-valued Łukasiewicz logic is proved and it is proved that Nilpotent minimum logic is the extension of CLSN by the prelinearity axiom. Expand
The Works of António A. Monteiro. Fundação Calouste Gulbenkian
  • 2007
Prover9 and mace4
  • 2005
Tesis de Magister en Matemática
  • 1999
Axiomes indépendants pour les algèbres de Nelson, de Lukasiewicz trivalentes
  • Notas Lógica Matemática
  • 1996
Axiomes indépendants pour les algèbres de Nelson, de Lukasiewicz trivalentes, de De Morgan et de Kleene. In Unpublished papers, I, volume 40 of Notas Lógica Matemática, page 13
  • Univ. Nac. del Sur, Bah́ıa Blanca,
  • 1996
Equational characterization of Nelson algebra
  • Diana Brignole
  • Mathematics, Computer Science
  • Notre Dame J. Formal Log.
  • 1969
...
1
2
...