Giuseppe Greco

Eine Übersicht über die dreiwertige Logik und ihre Anwendungen.

Ein Blick auf etikettierte Kalküle für nicht-distributive modale Logik.