DMCA

On Matrix Characterizations for Propositional Substructural Logics (1996)

by Enno Sandner , Fachgebiet Intellektik , Fachbereich Informatik , Technische Hochschule Darmstadt