Exactly true and non-falsity versions of one relevant logicдоклад на конференции