The strong version of a sentential logic
scientific article; zbMATH DE number 6807533
scientific article