Formal axiomatic theories based on a three-valued logic
scientific article; zbMATH DE number 5312819