Formalisations of Many-Valued Propositional Calculi with Variable Functors

John Jones. Formalisations of Many-Valued Propositional Calculi with Variable Functors. Math. Log. Q., 31(25-28):403-422, 1985. [doi]

Abstract

Abstract is missing.