Banner Portal
Intuitinistic equivalence


Equivalência intuitinística
Análise de equivalência

Como Citar

LOPEZ-ESCOBAR, E. .; MIRAGLIA, F. Intuitinistic equivalence. Manuscrito: Revista Internacional de Filosofia, Campinas, SP, v. 22, n. 2, p. 205–266, 1999. Disponível em: Acesso em: 22 mar. 2023.


Dedicated to O. Chateaubriand

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].



{BD74] R. Balbes and P. Dwinger. Distributive Lattices, University of Missouri Press, Columbia, Missouri, 1974.

[Fer96} T. Ferris. The Whole Sheebang. The State of the Universe(s).

[FS79] M.Fourman and D.S. Scoot. Sheaves and Logic. In C.J. Mulvey M.P. Fourman and D.S. Scott, editiors, Applications of Sheaves, volume 753 of Springer Lecture Notes in Mathematics, pages 302-402. Springer Verlag, 1979.

[Gen] G. Gentzen. Die Winderspruchsfreiheit der reinen Zahlentheorie. Mathematicsche Annalen, 112:493-565, 1936.

[Goo70] Nicolas Goodman. A theory of constructions equivalente to arithmetic. In J. Myhill A. Kino and R. E. Vesley, editors, Intuitionism and Proof Theory, pages 101-120 North Holland Publishing Co., Amsterdam, 1970.

[Kre62] Georg Kreisel. Foundations of intuitionistic logic. In E. Nagel, P. Suppes, and A. Tarski, editors, Logic Methodology and Philosophy of Science, pages 198-210. Stanford University Press, 1962.

[Läu70] H. Läuschi. Na abstract notion of realizability for which the intuitionistic predicate calculus in complete. In J. Myhill A. Kino and R. E. Vesley, editors, Intuitionism and Proof Theory, pages 227-234. North Holland Publishing Co., Amsterdam, 1970.

[Law75] F.W. Lawvere. Continuously variable sets: Algebraic Geometry = Geometric Logic. In Proceedings A.S. L. Logic Colloquium, Bristol 1973, volume 80 of Studies in Logic and the Foundations of Mathematics, pages 135-156. North Holland Publishing Co., 1975.

[LEM99} E.G.K. López-Escobar and F. Miraglia. Definitions: The Primitive Concepto f Logics. To appear, 1999.

[Lóp95] } E.G.K. López-Escobar. A continuation of Gentzen’s N-systems. Revista Colombiana de Matematicas, 1995.

[Pra65] D. Prawitz. Natural deduction. A proof-theoretical study. Almquist and Wiksell, Stockholm, 1965.

[Ras74] H. Rasiowa. Na Algebraic Approach to Non-Classical Logics. North Holland Publishing Co., Amsterdam, 1974.

[Rui91] Win Ruitenburg. The unintended interpretation of intuitionistic logic. In thomas Drucker, editor, Prespectives on the History of Mathematical Logic, pages 134-160. Birkhäuser, Boston, 1991.

[Rus03] Betrand Russell. Principles of Mathematics. W. W. Norton and Company Inc., New York, 1903.

[Sco69] D. S. Scott. Constructive validity, January 1969.

[Sco74] D. S. Scott, Completeness and axiomatizability in many-valued logic. In Tarski Symposium, pages 411-435. University of California, 1974.

[SS88] J. T. J. Srzednicki and Z. Stachniak editors. S. Lesniewski’s Lecture Notes in Logic, volume 24 of Nijhoff International Philosophy Series. Kluwer Academic Publishers, 1988.

[Tar23a] Alfred Traski. O wyrazie piewotnym logistyki. Przeglad Filozoficny, 26:68-89, 1923.

[Tar23b] Alfred Tarski. Sur le terme primitive de la logistique. Fundamenta Mathematicae, 4: 196-200, 1923.

[Tar56] Alfred Tarski. On the primitive termo f logistic. In J. H. Woodger, editor, Logic, Semantics, Metamathematics. Papers from 1923 to 1938. Clarendon Press, Oxford, 1956.

[Tro89] A. S. Troelstra. On the early history of intuitionistic logic. In P. P. Petkov, editor, Mathematical Logic, pages 3-18.Plenume Press, 1989.

[Waj00] Wa.jsberg. Monatshefte für Mathematik und Physik, 2000.

Creative Commons License
Este trabalho está licenciado sob uma licença Creative Commons Attribution 4.0 International License.

Copyright (c) 1999 Manuscrito: Revista Internacional de Filosofia


Não há dados estatísticos.