Two Formalisms for a Logic of Generalized Truth Valuesдоклад на конференции