( α, β )-Ordered linear resolution of intuitionistic fuzzy propositional logic

Zou, Li; Li, Xiaonan; Pan, Chang; Liu, Xin

doi:10.1016/j.ins.2017.05.046

Information Sciences

2017

DOI: 10.1016/j.ins.2017.05.046

|View full text |Cite

( α, β )-Ordered linear resolution of intuitionistic fuzzy propositional logic

Li Zou

Xiaonan Li

Chang Pan

et al.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2020

Publication Types

Select...

Article3

Relationship

Self Cite0

Independent3

Authors

Journals

Cited by 3 publications

References 36 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

$$\alpha $$-Paramodulation method for a lattice-valued logic $$L_nF(X)$$ with equality

et al. 2020

Soft Comput

View full text Add to dashboard Cite

In this paper, α-paramodulation and α-GH paramodulation methods are proposed for handling logical formulas with equality in a lattice-valued logic L n F(X), which has unique ability for representing and reasoning uncertain information from a logical point of view. As an extension of the work of [10,11], a new form of αequality axioms set is proposed. The equivalence between α-equality axioms set and E α -interpretation in L n F(X) with an appropriate level is also established, which may provide a key foundation for equality reasoning in lattice-valued logic. Based on its equivalence, E α -unsatisfiability equivalent transformation is given. Furthermore, αparamodulation and its restricted method, i.e., α-GH paramodulation are given. The soundness and completeness of the proposed methods are also obtained.

show abstract

$$\alpha $$-Paramodulation method for a lattice-valued logic $$L_nF(X)$$ with equality

et al. 2020

Soft Comput

View full text Add to dashboard Cite

show abstract

A novel plausible reasoning based on intuitionistic fuzzy propositional logic and its application in decision making

Wang

Zhang

Gou

2020

Fuzzy Optim Decis Making

View full text Add to dashboard Cite

Uncertain multi-attribute group decision making based on linguistic-valued intuitionistic fuzzy preference relations

Liu

Diao

Zou

et al. 2020

Information Sciences

View full text Add to dashboard Cite

scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.

Contact Info

hi@scite.ai

10624 S. Eastern Ave., Ste. A-614

Henderson, NV 89052, USA

Blog Terms and Conditions API Terms Privacy Policy Contact Cookie Preferences Do Not Sell or Share My Personal Information

Made with 💙 for researchers

Part of the Research Solutions Family.

( α, β )-Ordered linear resolution of intuitionistic fuzzy propositional logic

Cited by 3 publications

References 36 publications

$$\alpha $$-Paramodulation method for a lattice-valued logic $$L_nF(X)$$ with equality

$$\alpha $$-Paramodulation method for a lattice-valued logic $$L_nF(X)$$ with equality

A novel plausible reasoning based on intuitionistic fuzzy propositional logic and its application in decision making

Uncertain multi-attribute group decision making based on linguistic-valued intuitionistic fuzzy preference relations

Contact Info

Product

Resources

About