The following pages link to Wenyan Xu (Q301367):
Displayed 17 items.
- A cirquent calculus system with clustering and ranking (Q301368) (← links)
- A 16-classification partition of formula set \(F(S)\) in revised Kleene system \(\overline W\) (Q816878) (← links)
- The parallel versus branching recurrences in computability logic (Q1934954) (← links)
- The countable versus uncountable branching recurrences in computability logic (Q1948283) (← links)
- A generalized model of three-way decision with ranking and reference tuple (Q2128890) (← links)
- (Q2791154) (← links)
- (Q2791508) (← links)
- Soundness and completeness of the Cirquent calculus system CL6 for computability logic (Q2903763) (← links)
- (Q2993257) (← links)
- (Q3052509) (← links)
- Deduction Theorem for Symmetric Cirquent Calculus (Q3145140) (← links)
- (Q3413829) (← links)
- A propositional system induced by Japaridze's approach to IF logic (Q4644501) (← links)
- (Q4658001) (← links)
- (Q4659257) (← links)
- A two-universe model of three-way decision with ranking and reference tuple (Q6139515) (← links)
- Three-way decision with ranking and reference tuple on information tables (Q6205013) (← links)