Institutions of variable truth values: An approach in the ordered style
scientific article; zbMATH DE number 777779