Palavras-chave
Análise de equivalência
Como Citar
Resumo
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].
Referências
{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.
Este trabalho está licenciado sob uma licença Creative Commons Attribution 4.0 International License.
Copyright (c) 1999 Manuscrito: Revista Internacional de Filosofia