[PT] Begriffsschrift Editor

Dear all,

We thought this might be of interest to some of you.

A first version of our formulae editor for Frege's Begriffsschrift to
(easily) construct formulae and get an output in either xml or latex
(to be used with an updated version of the Begriffsschrift style file)
is now online. The software and style file can be downloaded here:

http://weka.ucdavis.edu/~ahwiki/bin/view/Arche/
BegriffsschriftSoftwareDownload

It includes the usual (small) bugs which need to be addressed in a
later version.

We hope the software will be useful to Frege scholars and logician's
interested in Frege's formalism

More info on the begriff.sty can be found here:

http://weka.ucdavis.edu/~ahwiki/bin/view/Main/BegriffsschriftLaTeX

Comments are appreciated, as always.

Best wishes,
Philip Ebert & Marcus Rossberg

_______________

ArchÈ
AHRC Research Centre for the Philosophy of Logic,
Language, Mathematics, and Mind
School of Philosophical and Anthropological Studies
University of St Andrews
St Andrews, KY16 9AL
Scotland, U.K.
http://www.st-andrews.ac.uk/~arche/