single axioms Latest Research Papers

Single axioms for (S, T)-fuzzy rough approximation operators with fuzzy product operations

Soft Computing ◽

10.1007/s00500-020-04774-2 ◽

2020 ◽

Vol 24 (9) ◽

pp. 6539-6551

Author(s):

Chun Yong Wang ◽

Yu Li Gong

Keyword(s):

Approximation Operators ◽

Rough Approximation ◽

Single Axioms

New results on single axioms for L-fuzzy rough approximation operators

Fuzzy Sets and Systems ◽

10.1016/j.fss.2019.04.001 ◽

2020 ◽

Vol 380 ◽

pp. 131-149 ◽

Cited By ~ 1

Author(s):

Chun Yong Wang ◽

Xinguang Zhang ◽

Yonghong Wu

Keyword(s):

Approximation Operators ◽

Rough Approximation ◽

Single Axioms

Using single axioms to characterize L-rough approximate operators with respect to various types of L-relations

International Journal of Machine Learning and Cybernetics ◽

10.1007/s13042-019-01051-z ◽

2020 ◽

Vol 11 (5) ◽

pp. 1061-1082

Author(s):

Bin Pang ◽

Ju-Sheng Mi

Keyword(s):

Single Axioms

Single axioms for lower fuzzy rough approximation operators determined by fuzzy implications

Fuzzy Sets and Systems ◽

10.1016/j.fss.2017.05.007 ◽

2018 ◽

Vol 336 ◽

pp. 116-147 ◽

Cited By ~ 9

Author(s):

Chun Yong Wang

Keyword(s):

Fuzzy Implications ◽

Approximation Operators ◽

Rough Approximation ◽

Single Axioms

Using single axioms to characterize (S, T)-intuitionistic fuzzy rough approximation operators

International Journal of Machine Learning and Cybernetics ◽

10.1007/s13042-017-0696-2 ◽

2017 ◽

Vol 10 (1) ◽

pp. 27-42 ◽

Cited By ~ 5

Author(s):

Wei-Zhi Wu ◽

Ming-Wen Shao ◽

Xia Wang

Keyword(s):

Intuitionistic Fuzzy ◽

Approximation Operators ◽

Rough Approximation ◽

Single Axioms

Single Axioms and Axiom-Pairs for the Implicational Fragments of $$\mathbf {R}$$ R , R-Mingle, and Some Related Systems

Outstanding Contributions to Logic - J. Michael Dunn on Information Based Logics ◽

10.1007/978-3-319-29300-4_4 ◽

2016 ◽

pp. 53-80

Author(s):

Dolph Ulrich

Keyword(s):

Single Axioms

Application of Automated Deduction to the Search for Single Axioms for Exponent Groups

The Collected Works of Larry Wos (In 2 Volumes) - Volume I: Exploring the Power of Automated Reasoning - Volume II: Applying Automated Reasoning to Puzzles, Problems, and Open Questions ◽

10.1142/9789812813411_0054 ◽

2010 ◽

pp. 1211-1217

Author(s):

William McCune ◽

Larry Wos

Keyword(s):

Automated Deduction ◽

Single Axioms

Questions Concerning Possible Shortest Single Axioms for the Equivalential Calculus: An Application of Automated Theorem Proving to Infinite Domains

The Collected Works of Larry Wos (In 2 Volumes) - Volume I: Exploring the Power of Automated Reasoning - Volume II: Applying Automated Reasoning to Puzzles, Problems, and Open Questions ◽

10.1142/9789812813411_0025 ◽

2010 ◽

pp. 419-441

Author(s):

L. WOS ◽

S. WINKER ◽

R. VEROFF ◽

B. SMITH ◽

L. HENSCHEN

Keyword(s):

Theorem Proving ◽

Automated Theorem Proving ◽

Infinite Domains ◽

Single Axioms ◽

Equivalential Calculus ◽

Shortest Single Axioms

Shortest single axioms for commutative moufang loops of exponent 3

Discrete Mathematics ◽

10.1016/j.disc.2007.06.016 ◽

2008 ◽

Vol 308 (15) ◽

pp. 3381-3385 ◽

Cited By ~ 1

Author(s):

Nick C. Fiala

Keyword(s):

Moufang Loops ◽

Single Axioms ◽

Shortest Single Axioms

Searching for Shortest Single Axioms for Groups of Exponent 6

Journal of Automated Reasoning ◽

10.1007/s10817-006-9044-z ◽

2006 ◽

Vol 36 (3) ◽

pp. 241-257

Author(s):

Nick C. Fiala ◽

Keith M. Agre

Keyword(s):

Single Axioms ◽

Shortest Single Axioms

single axioms
Recently Published Documents

TOTAL DOCUMENTS

H-INDEX

Single axioms for (S, T)-fuzzy rough approximation operators with fuzzy product operations

New results on single axioms for L-fuzzy rough approximation operators

Using single axioms to characterize L-rough approximate operators with respect to various types of L-relations

Single axioms for lower fuzzy rough approximation operators determined by fuzzy implications

Using single axioms to characterize (S, T)-intuitionistic fuzzy rough approximation operators

Single Axioms and Axiom-Pairs for the Implicational Fragments of $$\mathbf {R}$$ R , R-Mingle, and Some Related Systems

Application of Automated Deduction to the Search for Single Axioms for Exponent Groups

Questions Concerning Possible Shortest Single Axioms for the Equivalential Calculus: An Application of Automated Theorem Proving to Infinite Domains

Shortest single axioms for commutative moufang loops of exponent 3

Searching for Shortest Single Axioms for Groups of Exponent 6

Export Citation Format

single axiomsRecently Published Documents

TOTAL DOCUMENTS

H-INDEX

Single axioms for (S, T)-fuzzy rough approximation operators with fuzzy product operations

New results on single axioms for L-fuzzy rough approximation operators

Using single axioms to characterize L-rough approximate operators with respect to various types of L-relations

Single axioms for lower fuzzy rough approximation operators determined by fuzzy implications

Using single axioms to characterize (S, T)-intuitionistic fuzzy rough approximation operators

Single Axioms and Axiom-Pairs for the Implicational Fragments of $$\mathbf {R}$$ R , R-Mingle, and Some Related Systems

Application of Automated Deduction to the Search for Single Axioms for Exponent Groups

Questions Concerning Possible Shortest Single Axioms for the Equivalential Calculus: An Application of Automated Theorem Proving to Infinite Domains

Shortest single axioms for commutative moufang loops of exponent 3

Searching for Shortest Single Axioms for Groups of Exponent 6

single axioms
Recently Published Documents