Hypersequentenkalkül

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Eine Erweiterung des Sequentenkalküls, die Sammlungen (Multimengen) von Sequents — sogenannte Hypersequents — parallel manipuliert und strukturelle Mechanismen bereitstellt, um Zwischenstärken und viele nichtklassische Logiken zu erfassen, indem Kommunikation und Interaktion zwischen Komponenten-Sequents zugelassen werden.