@article{Lopez-Escobar_Miraglia_1999, place={Campinas, SP}, title={Intuitinistic equivalence}, volume={22}, url={https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8666484}, abstractNote={<p>Dedicated to O. Chateaubriand</p> <p>The purpose of this paper ris to point the way for a constructive proof-theoretical and algebraic analysis of the connective of equivalence. This theme is developed further in [LEM99].</p>}, number={2}, journal={Manuscrito: Revista Internacional de Filosofia}, author={Lopez-Escobar, E.G.K. and Miraglia, Francisco}, year={1999}, month={out.}, pages={205–266} }