A Complete Study of Truth-preservation in Generalized Truth Values Semantics: A Four-valued Caseдоклад на конференции