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
- Rachunek konstrukcji głównej
- CoS w Maude : implementacje strona dokumentowanie systemów logicznych w rachunku struktur, z wykorzystaniem systemu Maude .
Ta logika kondensatorem artykuł jest en . Można źródło Wikipedia rozszerza ją . |