bugGNU TeXmacs - Bugs: bug #65722, Inference Rules styling is...

 
 

You are not allowed to post comments on this tracker with your current authentication level.

bug #65722: Inference Rules styling is missing. Logicians can't happily use this tool.

Submitter:  sinanmo <sinanmo>
Submitted:  Sat 11 May 2024 02:57:53 AM UTC
   
 
Category:  None Priority:  5 - Normal
Item Group:  Wishlist Status:  None
Privacy:  Public Assigned to:  None
Originator Name:  Open/Closed:  Open
Release:  None Release: 
Fixed Release:  None Fixed Release: 
Keywords: 

Sat 11 May 2024 02:57:53 AM UTC, original submission:  

Here is an inference rule called Modus Ponens.

               
                A   A -> B
                ----------- (Modus Ponens)
                    B

Here is a derivation tree using Module Ponens.

                 A /\ B
                -------
                   A     A -> B
                ----------------
                       B

It's kind of like a CS upside down-tree, or like a normal or real tree, where the branches go up.

Is this layout already possible? This feature alone places this tool as a competitor to other Mathematical tools for logicians, it's best if it's not a plugin or something that users have to build themselves. Logicians will unfortunately just use Latex if they find it too hard to get this result.

If this facility already exists or it's easy to add, please excuse my ignorance. Thank you for your effort! I appreciate it!

Warm regards,


Sinanmo

sinanmo <sinanmo>

 

(Note: upload size limit is set to 16384 kB, after insertion of the required escape characters.)

No files currently attached

 

Depends on the following items: None found

Items that depend on this one: None found

 

Carbon-Copy List
  • -email is unavailable- added by sinanmo (Submitted the item)
  •  

    There are 0 votes so far. Votes easily highlight which items people would like to see resolved in priority, independently of the priority of the item set by tracker managers.

     

    No changes have been made to this item

    Back to the top

    Powered by Savane 3.13-b921.
    Corresponding source code