Translations and structure for partial propositional calculi
scientific article; zbMATH DE number 3458580