珍妮·伊夫·贝齐奥 抽象逻辑研究：普通逻辑。（回顾逻辑抽象：逻辑正常化。） （法语） Zbl 1023.03523号 Wratislav大学学报。 2023年，日志。18, 105-114 (1998). 来自文本：Nousétudions ici une class de logiques dites normales（概念加上计算逻辑单元利用率）。L'idée fondamentale est déstudier des propriétés de la relationation de déutibilityéa partir de lois générales gouvernant cette relationship（dans le cas des logiques normales:identite，monotone，coupure）以及目标类别的结构（关于代表和发展概念的重要性）。 引用于1文件 MSC公司： 03B22号 抽象演绎系统 关键词：抽象逻辑;正规逻辑;估价;演绎关系;语义学;密实度 PDF格式BibTeX公司 XML格式引用 \textit{J.-Y.Béziau}，Wratislav大学学报。2023（18），105-114（1998；Zbl 1023.03523）