Minimal non-contingency logic
scientific article; zbMATH DE number 824600