Labelled Non-Classical Logics, Fachbücher von Luca Viganò

Das Buch "Labelled Non-Classical Logics" von Luca Viganò bietet eine umfassende Einführung in die Methodologie der beschrifteten deduktiven Systeme. Es zielt darauf ab, das Konzept der Beschriftung als bedeutenden Bestandteil der Logik zu etablieren. Viganò diskutiert die vielfältigen Anwendungen von Beschriftungen in verschiedenen logischen Bereichen, darunter Ressourcenbeschriftungen in Relevanzlogiken und annotierte Logikprogramme in der Logikprogrammierung. Diese Ansätze verdeutlichen die Notwendigkeit, eine systematische Methodologie für beschriftete deduktive Systeme zu entwickeln, um die gleichzeitige Manipulation unterschiedlicher logischer Informationen zu ermöglichen. Insbesondere im Bereich der modalen Logik zeigt das Buch, wie Beschriftungen effektiv eingesetzt werden können, um die Vorteile dieser Methodologie zu demonstrieren.