Metadata
Author: ParaCrawl Corpus
Data
English[en]
This conviction of hers had been supported by her results on many-valued and non-classical logics, especially on applications of various generalisations of Post algebras to logics of programs and approximation logics.
Korean[ko]
그녀의 신념은 많은 - 가치 및 비 - 고전 논리, 포스트 algebras의 다양한 generalisations의 응용 프로그램과 근사치 특히 논리의 논리에 그녀의 결과에 의해지지를 받고있다.