The translation of formal proofs into English

Artificial Intelligence 7 (3):261-278 (1976)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(76)90007-2

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,503

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Deductively Sound Formal Proofs.P. Olcott - manuscript
A Problem with the Dependence of Informal Proofs on Formal Proofs.Fenner Tanswell - 2015 - Philosophia Mathematica 23 (3):295-310.
Symbolic Logic: Syntax, Semantics, and Proof.David W. Agler - 2012 - Lanham, MD, USA: Rowman & Littlefield Publishers.
The three dimensions of proofs.Yves Guiraud - 2006 - Annals of Pure and Applied Logic 141 (1):266-295.
Proof Theory for Reasoning with Euler Diagrams: A Logic Translation and Normalization.Ryo Takemura - 2013 - Studia Logica 101 (1):157-191.
Informal and formal proofs, metalogic, and the groundedness problem.Mario Bacelar Valente - manuscript
The translation theorem.Peter Cholak - 1994 - Archive for Mathematical Logic 33 (2):87-108.
From Display to Labelled Proofs for Tense Logics.Agata Ciabattoni, Tim Lyon & Revantha Ramanayake - 2018 - In Anil Nerode & Sergei Artemov (eds.), Logical Foundations of Computer Science. Springer International Publishing. pp. 120 - 139.
Formal logic: Classical problems and proofs.Luis M. Augusto - 2019 - London, UK: College Publications.
Xenophon, Anabasis, Books IV.-VII., with an English translation by Carleton Brownson; and Symposium and Apology, with an English translation by O. J. Todd. (Loeb Classical Library.) 6½″ × 4½″. One vol. Pp. 521. London: Heinemann, 1922. 10s. - Xenophon, Memorabilia and Oeconomicus, with an English translation by E. C. Marchant. (Loeb Classical Library.) 6½″ × 4½″. One vol. Pp. xxix+532. London: Heinemann, 1923. 10s. [REVIEW]H. Rackham - 1924 - The Classical Review 38 (5-6):133-133.
Logical works, by Wajsberg Mordchaj. Edited and with an introduction by Surma Stanisław J.. ZakВad Narodowy imienia Ossolińskich, Wydawnictwo Polskiej Akademii Nauk, Wrocław etc. 1977, 216 pp.Surma Stanisław J.. Mordchaj Wajsberg. Life and work. Pp. 7–11.Wajsberg Mordchaj. Axiomatization of the three-valued propositional calculus. Pp. 12–29. A reprint of XXXV 442 .Wajsberg Mordchaj. On the axiom system of propositional calculus. Pp. 30–36. English translation of 4372.Wajsberg Mordchaj. A new axiom of propositional calculus in Sheffer's sbmbols. Pp. 37–39. English translation of 4373.Wajsberg Mordchaj. Investigations of functional calculus for finite domain of individuals. Pp. 40–49. English translation of 4374.Wajsberg Mordchaj. An extended class calculus. Pp. 50–61. English translation of 4375.Wajsberg Mordchaj. A contribution to metamathematics. Pp. 62–88. English translation of 4376.Wajsberg Mordchaj. Contributions to meta-calculus of propositions I. Pp. 89–106. English translation. [REVIEW]Storrs McCall - 1983 - Journal of Symbolic Logic 48 (3):873-874.
Yogasūtrabhāṣyavivaraṇa of Śaṅkara: Vivaraṇa Text with English Translation and Critical Notes along with Text and English Translation of Patañjali's Yogasūtras and VyāsabhāṣyaYogasutrabhasyavivarana of Sankara: Vivarana Text with English Translation and Critical Notes along with Text and English Translation of Patanjali's Yogasutras and Vyasabhasya.Kengo Harimoto & T. S. Rukmani - 2004 - Journal of the American Oriental Society 124 (1):176.
Man and Citizen: De Homine and de Cive.Bernard Gert (ed.) - 1972 - Hackett Publishing Company.
Non-circular proofs and proof realization in modal logic.Ren-June Wang - 2014 - Annals of Pure and Applied Logic 165 (7-8):1318-1338.
Proof, rigour and informality : a virtue account of mathematical knowledge.Fenner Stanley Tanswell - 2016 - St Andrews Research Repository Philosophy Dissertations.

Analytics

Added to PP
2020-12-22

Downloads
3 (#1,705,473)

6 months
2 (#1,194,813)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

BLAH, a system which explains its reasoning.J. L. Weiner - 1980 - Artificial Intelligence 15 (1-2):19-48.

Add more citations

References found in this work

No references found.

Add more references