西南交通大学教师主页 zhongxiaomei--Home-- α-Group quasi-lock semantic resolution method based on lattice-valued propositional logic LP(X)

Lecturer (higher education)

Supervisor of Master's Candidates

Personal Information

Education Level: PhD graduate

Alma Mater: 西南交通大学

School/Department: 数学学院

Home > Research > Paper Publications

α-Group quasi-lock semantic resolution method based on lattice-valued propositional logic LP(X)

Journal:Journal of Multiple-Valued Logic and Soft Computing
Co-author:Yang Xu
First Author:Xiaomei Zhong
Document Code:3
Volume:22
Issue:4-6
Page Number:581-598
Translation or Not:no
Date of Publication:2014-12-31

Pre One:Multiary α-Resolution Principle for a Lattice-Valued Logic

Next One:α-Quasi-lock semantic resolution method based on lattice-valued logic

Home

Research

Teaching

Receive Honor

Awards and Honours

Enrollment

Student Information

My Album

Blog

Personal Information

α-Group quasi-lock semantic resolution method based on lattice-valued propositional logic LP(X)