texmacs-users - Natural Deduction

Subject: mailing-list for TeXmacs Users

List archive

Natural Deduction

From: "Michael D. Adams" <address@hidden>
To: address@hidden
Subject: Natural Deduction
Date: Sat, 15 Oct 2005 11:24:15 -0500
Domainkey-signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:to:subject:mime-version:content-type:content-transfer-encoding:content-disposition; b=FKVKwV48RJrIrEHPilUHsBjKra7X42uR0SHecvy7S+iY0fqBc6XZpguTgJ/l49igo4u8MvgePKowLtq0a4V5i9l370/dF9s3y6tKMKdOKMged1qACMVDs2wRFsqGYvD0lBqKv5sW+ZM4smOimCk0u8zGSFOdutz9OcbkSdcMpzk=

I want to typeset some Natural Deduction proofs in TeXmacs. See pages
15 and 16 of [1] for some examples and the formal syntax. Using
faction bars almost works. The only problem is that they extend their
width to include everything above and below them. For natural
deduction the bar should only extend to include the things immediately
above and below. Does there exists a TeXmacs module for this or how
would I go about typesetting this?

Michael D. Adams
address@hidden

[1] http://www-2.cs.cmu.edu/~fp/courses/atp/handouts/ch2-natded.pdf

Natural Deduction, Michael D. Adams, 10/15/2005
- Re: [TeXmacs] Natural Deduction, Henri Lesourd, 10/15/2005
  - Message not available
    - Re: [TeXmacs] Natural Deduction, Henri Lesourd, 10/21/2005
      - Re: [TeXmacs] Natural Deduction, Joris van der Hoeven, 10/21/2005
        
        Re: [TeXmacs] Natural Deduction, Henri Lesourd, 10/21/2005
        
        Re: [TeXmacs] Natural Deduction, Joris van der Hoeven, 10/22/2005
        
        Re: [TeXmacs] Natural Deduction, Henri Lesourd, 10/22/2005
        
        Message not available
        
        Re: [TeXmacs] Natural Deduction, Henri Lesourd, 10/22/2005
- Re: [TeXmacs] Natural Deduction, Joris van der Hoeven, 10/15/2005

List archive

Natural Deduction