Free logics: their foundations, character and some applications thereofKarel LambertÉpuiséPrévenez-moi