CTAN Comprehensive TeX Archive Network

Directory macros/plain/contrib/gfnotation

README
GFnotation.tex implements macros to typeset formulas and inferences in
Gottlob Frege's notation that is used in his book ``Begriffsschrift, eine
der arithmetischen nachgebildete Formelsprache des reinen Denkens'' or
in the style of his main work ``Grundgesetze der Arithmetik.''

Besides the two output styles the macros provide two input styles. A
``symbolic representation'' that codes each element of the notation
with three symbols. And a ``short form'' that generates the notation
recursively from a sequential input.

This package is released under the GNU General Public License.
See the file COPYING.


The package requires the following files and packages from CTAN:

 1) amssym.def (from amstex)
 2) amsfonts
 3) rotate.tex
 4) fge fonts (optional)
    You need item 4) to compile the users guide.


The package consists of the following files:

gfnotation.tex     -- the macros for the notation
                      version 2.9, 29.03.2015
gfnotation-doc.pdf -- a users guide
gfnotation-doc.tex -- the source of the users guide
README             -- this file

Copyright (C) 2015 Udo Wermuth (author)
                   u dot wermuth (at) icloud dot com

Download the contents of this package in one zip archive (183.1k).

gfnotation – Typeset Gottlob Frege's notation in plain

The package implements macros for plain to typeset the notation invented by Gottlob Frege in 1879 for his books “Begriffsschrift” and “Grundgesetze der Arithmetik” (two volumes). The output styles of both books are supported.

Packagegfnotation
Version2.9 2015-03-29
LicensesGNU General Public License, version 3
MaintainerUdo Wermuth
Contained inTeX Live as gfnotation
MiKTeX as gfnotation
TopicsMaths
Logic
...
Guest Book Sitemap Contact Contact Author