Počet struktur - Calculus of structures - Wikipedia

The počet struktur je důkazní kalkul s hluboký závěr pro studium teorie strukturního důkazu z nekomutativní logika. Kalkul byl od té doby použit ke studiu lineární logika, klasická logika, modální logika, a zpracovat kalkul a tvrdí se, že při těchto vyšetřováních následuje mnoho výhod ze způsobu, jakým je v kalkulu k dispozici hluboká inference.

Reference

• Alessio Guglielmi (2004)., Systém interakce a struktury. Transakce ACM ve výpočetní logice.
• Kai Brünnler (2004). Hluboká inference a symetrie v klasických důkazech. Loga Verlag.

externí odkazy

• Domovská stránka počtu struktur
• CoS v Maude: stránka dokumentující implementace logické systémy v počtu struktur pomocí Maude systém.

Tento logika související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.