search

rzach / multlog

M. Ultlog, the genius many-valued logic expert
https://logic.at/multlog
7 stars 1 forks source link

Add abbreviation for logic #7

Open rzach opened 3 years ago

rzach commented 3 years ago

The tex code expects LogName to be a name like "Kleene" but it might be nice to also have an optional abbreviation defined (eg, \mathbf{K}_3) that can be included in the right places.

gsalzer commented 3 years ago

Basically it works to write `logic "$\mathbf{K}_3$".', which leads to the TeX definition

\def\NameOfLogic{$\mathbf{K}_3$}

The issue is to define rules how \NameOfLogic may be used. In recent versions, commands from the package mfirstuc are applied to \NameOfLogic, which fail if they encounter a non-letter as first token. Of course, one can introduce a second keyword to introduce a shorthand for the logic, but this does not solve the basic problems that one has to specify which characters are valid in the name of a logic and in which contexts it may be used in the tex file. Currently the rules what may be used for the name of a logic in the lgc file are at odds with what will work in the tex file.