Truth-values as Labels: A General Recipe for Labelled Deduction

Cristina Sernadas, Luca Viganò, João Rasga, Amílcar Sernadas. Truth-values as Labels: A General Recipe for Labelled Deduction. Journal of Applied Non-Classical Logics, 13(3-4):277-315, 2003.

Abstract

Abstract is missing.