A refinement of de bruijn's formal language of mathematics

&
Journal of Logic, Language and Information 13 (3):287-340 (2004)
  Copy   BIBTEX

Abstract

We provide a syntax and a derivation system fora formal language of mathematics called Weak Type Theory (WTT). We give the metatheory of WTT and a number of illustrative examples.WTT is a refinement of de Bruijn''s Mathematical Vernacular (MV) and hence:– WTT is faithful to the mathematician''s language yet isformal and avoids ambiguities.

Categories

Keywords

Reprint years

2005

DOI

10.1023/b:jlli.0000028393.47593.b8

Links

PhilArchive



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

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

Mengenlehre—Vom Himmel Cantors zur Theoria prima inter pares.Peter Schreiber - 1996 - NTM Zeitschrift für Geschichte der Wissenschaften, Technik und Medizin 4 (1):129-143.
The Hypersimple-Free C.E. WTT Degrees Are Dense in the C.E. WTT Degrees.George Barmpalias & Andrew E. M. Lewis - 2006 - Notre Dame Journal of Formal Logic 47 (3):361-370.
Structure and meaning.Jaroslav Peregrin - 1997 - Semiotica 113 (1-2):71-88.
On the roles of types in mathematics.N. G. de Bruijn - 1995 - In Philippe De Groote (ed.), The Curry-Howard Isomorphism. Academia. pp. 27-54.
Brandom’s Incompatibility Semantics.Jaroslav Peregrin - 2008 - Philosophical Topics 36 (2):99-121.
Wtt-degrees and t-degrees of R.e. Sets.Michael Stob - 1983 - Journal of Symbolic Logic 48 (4):921-930.
Non-Language Thinking in Mathematics.Dieter Lohmar - 2012 - Axiomathes 22 (1):109-120.
Logic, Form and Matter.Barry Smith & David Murray - 1981 - Aristotelian Society Supplementary Volume 55 (1):47 - 74.
Zen and the art of formalization.Andrea Asperti & Jeremy Avigad - unknown

Analytics

Added to PP
2009-01-28

Downloads
56 (#273,290)

6 months
5 (#526,961)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Supporting the formal verification of mathematical texts.Claus Zinn - 2006 - Journal of Applied Logic 4 (4):592-621.
Enhanced Processing of Adjectives in Mizar.Adam Naumowicz - 2009 - Studies in Logic, Grammar and Rhetoric 18 (31).

Add more citations

References found in this work

Principia Mathematica.A. N. Whitehead & B. Russell - 1927 - Annalen der Philosophie Und Philosophischen Kritik 2 (1):73-75.

Add more references