Display-Logik

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Ein strukturaler Beweiskalkül, der durch Display-Axiome gekennzeichnet ist, welche es erlauben, jede Teilstruktur eines Sequents auf eine Seite des Turnstils zu 'displayen' (isolieren), so dass die jeweilige Hauptregel angewandt werden kann; Display-Logik bietet einen einheitlichen Mechanismus zur Handhabung vielfältiger Konnektive und struktureller Manipulationen.