SOLUTION METHOD OF LOGICAL INEQUALITY GROUPS OF DISJUNCTIVE NORMAL FORM IN LUK PROPOSITIONAL CALCULUS SYSTEM

LI Youyu ,ZHANG Xingfang

Journal of Systems Science and Mathematical Sciences ›› 2014, Vol. 34 ›› Issue (2) : 245-256.

PDF(370 KB)
中国科学院数学与系统科学研究院期刊网
PDF(370 KB)
Journal of Systems Science and Mathematical Sciences ›› 2014, Vol. 34 ›› Issue (2) : 245-256. DOI: 10.12341/jssms12268

SOLUTION METHOD OF LOGICAL INEQUALITY GROUPS OF DISJUNCTIVE NORMAL FORM IN LUK PROPOSITIONAL CALCULUS SYSTEM

  • LI Youyu ,ZHANG Xingfang
Author information +
History +

HeighLight

{{article.keyPoints_en}}

Abstract

{{article.zhaiyao_en}}

Key words

QR code of this article

Cite this article

EndNote

Ris (Procite)

Bibtex

Download Citations
{{article.zuoZheEn_L}}. {{article.title_en}}. Journal of Systems Science and Mathematical Sciences, 2014, 34(2): 245-256 https://doi.org/10.12341/jssms12268

References

Publishing order | Descend order by publishing year | Descend order by cited within

References

{{article.reference}}

Funding

RIGHTS & PERMISSIONS

{{article.copyrightStatement_en}}
{{article.copyrightLicense_en}}
PDF(370 KB)

Accesses

Citation

Detail
Sections
Recommended

/

〈 〉