for subject-specific typesetting involving logic notation.

learn more… | top users | synonyms

0
votes
1answer
55 views

Vertical dots centred in Lemmon style derivation

I would like to center vertical dots in this derivation...I tried with \center but the dots remains in the left. \align can't work in the \ND enviroment. \documentclass{article} \usepackage{ND} \...
5
votes
0answers
67 views

How to apply colour options to the contents of TikZ nodes when the content includes \sbox{}\usebox{}?

Thanks to Sašo Živanović for helping to identify the problem which arises as a result of my trying to apply options such as blue or text=blue to nodes within Forest trees which include turnstiles from ...
3
votes
0answers
53 views

How can I type Genzen style deduction in LyX?

As a philosophy major student, I'm learning how to use LyX. And I don't know how to type genzen style deduction on LyX. And Is there any good reference for LyX like Peter smith's for LaTeX ...
2
votes
0answers
35 views

How to format deduction/equation extending multiple pages?

I'm working on a logic paper that includes a deduction of one of DeMorgan's laws. The proof is Fitch style using Johan Klüwer's 2003 fitch.sty package. It's a long proof and I inevitably end up with a ...