Lanxi Hu

According to our database, Lanxi Hu authored at least 2 papers in 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2021

Monotonic and nonmonotonic gentzen deduction systems for L3-valued propositional logic.

Cungen Cao, Lanxi Hu, Yuefei Sui

Frontiers Comput. Sci., February, 2021

R-Calculus for Post Three-Valued Description Logic.

Cungen Cao, Lanxi Hu, Yuefei Sui

Proceedings of the Fuzzy Systems and Data Mining VII, 2021