Rachunek struktur - Calculus of structures

Rachunek struktur jest dowodem rachunek z głębokim wnioskowania do badania strukturalne dowód teorię o nieprzemiennej logiki . Rachunek ten został zastosowany do studiowania logiki liniowej , logiki klasycznej , logiki modalnej oraz procesów kamieni , a wiele korzyści zastrzeżono podążać w tych badaniach ze sposobu, w który głęboko wnioskowanie jest udostępniony w rachunku.

Referencje

  • Alessio Guglielmi (2004). 'System Interaction and Structure'. ACM Transactions on Computational Logic.
  • Kai Brünnler (2004). Wnioskowanie i głęboko Symetria w dowodach Classical . Logo Verlag.

Linki zewnętrzne