Talk:Sequent calculus

From Wikipedia, the free encyclopedia

WikiProject Mathematics
This article is within the scope of WikiProject Mathematics, which collaborates on articles related to mathematics.
Mathematics rating: B Class Mid Priority  Field: Foundations, logic, and set theory
Please update this rating as the article progresses, or if the rating is inaccurate. Please also add comments to suggest improvements to the article.

In fact, since Wikipedia has changed its layout recently, the tabular layout of the rule system included here looks awfully. Please feel free to typeset it in LaTeX... --Markus Krötzsch 22:49, 8 Jun 2004 (UTC)

A good layout for derivations as a wiki-table/TeX hybrid is given in the example derivation. The html-or does not display well on many browsers, so I prefer the TeX version. --Markus Krötzsch 14:48, 27 Jul 2004 (UTC)
I am typesetting all the derivations on (La)TeX my version --Miguel Pagano 20:35, 25 July 2005 (UTC)

@Dedalus (your wiki-email seems to be unavailable): Thanks for the extension -- your tabular layout via "hr" instead of underline is a good idea. I corrected some minor errors and changed the table to the more readable wikitable style. Other than this, the center tags do not work as expected (try to view your prior version without being logged in). I used align=center tags instead. --Markus Krötzsch 14:48, 27 Jul 2004 (UTC)


To add: extensions of sequent calulus; eg. 2-sequents, hypersequents, display logic, etc. --- Charles Stewart 02:50, 12 Aug 2004 (UTC)

[edit] HTML rendering problems on Firefox (Windows) of &and;, <math>\and</math> and <math>\land</math>

I am experiencing some html (i.e. not png) rendering problems on the sequent calculus page on Firefox (Windows) for quite some time. I have tried to fix this, but it has been without results so far.

The problem is in the html rendering of &and;, <math>\and</math> and <math>\land</math>. In Firefox, they show up as a small square (∧) most of the times.

I have been able to reproduce this problem in the sandbox, but this generates unpredictable results: sometimes the results are displayed correctly, and sometimes not! Refreshing the page can even toggle between right and wrong results. The problem is also present at other pages such as natural deduction and first-order logic.

I have confirmed this problem on a number of machines running Windows. I am aware of the fact this is possibly not the best place to post this problem, but I have no idea where to post it elsewhere.

Cheers, eboy 15:02, 7 November 2006 (UTC).

[edit] Weakening?

The intuitive explanations of the rules were very helpful - but the section on Structural Rules lists Weakening, PR, and Contraction, gives intuitive explanations of PR and Contraction but skips Weakening -- can anyone add to this? Zero sharp 06:36, 19 December 2006 (UTC)