Feys Robert. A simplified proof of the reduction of all modalities to 42 in S3. Boletin de la Sociedad Matemática Mexicana, vol. 10 nos. 1–2 , pp. 53–57 [Book Review]
Journal of Symbolic Logic 20 (1):66-66 (1955)
Abstract
This article has no associated abstract. (fix it)Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
A Simplified Proof of the Reduction of all Modalities to 42 in S3.Robert Feys - 1955 - Journal of Symbolic Logic 20 (1):66-66.
Quine W. V.. Two theorems about truth-functions. Boletín de la Sociedad Matemática Mexicana, vol. 10 no. 1–2 , pp. 64–70. [REVIEW]Alonzo Church - 1954 - Journal of Symbolic Logic 19 (2):142-143.
Zubieta R. Gonzalo Definiciones formales de numerabilidad. Boletin de la Sociedad Matemática Mexicana, ser. 2, vol. 1 no. 1 , pp. 49–56. [REVIEW]John van Heijenoort - 1963 - Journal of Symbolic Logic 28 (3):251-251.
Church Alonzo. Non-normal truth-tables for the propositional calculus. Boletin de la Sociedad Matemática Mexicana, vol. 10 no. 1–2 , pp. 41–52. [REVIEW]Gene F. Rose - 1954 - Journal of Symbolic Logic 19 (3):233-234.
R. Gonzalo Zubieta Clases aritméticas definidas sin igualdad. Boletín de la Sociedad Matemática Mexicana, second series, vol. 2 , pp. 45–53. [REVIEW]John van Heijenoort - 1964 - Journal of Symbolic Logic 29 (1):55-56.
Zubieta R. Gonzalo Sobre la substitución de las variables funcionales en el cáculo funcional de primer orden. Boletin de la Sociedad Matemática Mexicana, vol. 7 no. 1–2 , pp. 1–21. [REVIEW]Maurice L'Abbé - 1951 - Journal of Symbolic Logic 16 (4):291-291.
Tarski Alfred. ¿ Qué es la geometria elemental? Boletin de la Sociedad Matemática Mexicana, ser. 2, vol. 3 no. 2 , pp. 41–51.Tarski Alfred. What is elementary geometry? The axiomatic method with special reference to geometry and physics, Proceedings of an International Symposium held at the University of California, Berkeley, December 26, 1957—January 4, 1958. Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 16–29. [REVIEW]John van Heijenoort - 1962 - Journal of Symbolic Logic 27 (1):93-93.
Gentzen Gerhard. Recherches sur la déduction logique. French translation of 4422 by Ladrière Jean, with added footnotes by the translator. Presses Universitaires de France, Paris 1955, XI + 170 pp.Feys Robert. Préface. Therein, pp. VII–XI.Feys Robert. Note A. Les méthodes de déduction naturelle. Therein, pp. 1–2.Feys Robert. Note B. Notation explicite des suppositions. Therein, pp. 29–34.Feys Robert. Note C. Méthodes N de Jaśkowski, Bernays et Johannson. Therein pp. 35–39.Feys Robert. Note D. Variantes des calculs LK et LJ. Therein, pp. 77–83.Ladrière Jean. Note E. Un calcul “MK” analogue au calcul NK. Therein, pp. 84–89.Feys Robert. Note F. Signification des séquences et des schémas de structure. Therein, pp. 90–92.Ladriére Jean. Note G. Les schémas de coupure et de fusion de séquences. Therein, pp. 93–97.Ladriére Jean. Note H. Tableau de la démonstration du théorème fondamental. Therein, pp. 98–100.Ladriére Jean. Note I. Marche de la démonstration du théorème fondamental. Therein, pp. [REVIEW]John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (4):350-351.
Review: Ettore Carruccio, Recenti Sviluppi Della Logica Matematica nei Riflessi Sull'Insegnamento. [REVIEW]Robert Feys - 1951 - Journal of Symbolic Logic 16 (2):139-140.
Review: Miguel Sanchez-Mazas, Notas Preliminares para la Fundamentacion de una Logica Matematica Comprehensiva (I). [REVIEW]Robert Feys - 1956 - Journal of Symbolic Logic 21 (1):105-105.
Sánchez-Mazas Miguel. Notas preliminares para la fundamentación de una Lógica matemática comprehensiva . Theoria , vol. 1 no. 1 , pp. 25–26. [REVIEW]Robert Feys - 1956 - Journal of Symbolic Logic 21 (1):105-105.
Review: Robert Feys, Nature et Possibilites de la Logique Formalisee; Robert Feys, La Formalisation comme Suggestion Rigoureuse. [REVIEW]A. R. Turquette - 1955 - Journal of Symbolic Logic 20 (1):66-66.
Carruccio Ettore. Recenti sviluppi della logica matematica nei riflessi sull'insegnamento. Atti del Convegno di Pisa . Offprint 1949, 22 pp. [REVIEW]Robert Feys - 1951 - Journal of Symbolic Logic 16 (2):139-140.
A Simplified Proof of the Church–Rosser Theorem.Yuichi Komori, Naosuke Matsuda & Fumika Yamakawa - 2014 - Studia Logica 102 (1):175-183.
Review: Antonio Millan Puelles, Sobre el Concepto de Existencia en Matematicas; Miguel Sanchez-Mazas, Los Juicios de la Matematica y el Modo de Existencia de sus Objetos. [REVIEW]Robert Feys - 1956 - Journal of Symbolic Logic 21 (1):105-105.
Analytics
Added to PP
2013-11-22
Downloads
14 (#733,752)
6 months
1 (#454,876)
2013-11-22
Downloads
14 (#733,752)
6 months
1 (#454,876)
Historical graph of downloads
