Wenyan Xu

Available identifiers

zbMath Open xu.wenyanMaRDI QIDQ301367

List of research outcomes

Publication	Date of Publication	Type
Three-way decision with ranking and reference tuple on information tables	2024-04-11	Paper
A two-universe model of three-way decision with ranking and reference tuple	2024-01-19	Paper
A generalized model of three-way decision with ranking and reference tuple	2022-04-22	Paper
A propositional system induced by Japaridze's approach to IF logic	2019-01-08	Paper
https://portal.mardi4nfdi.de/entity/Q2993257	2016-08-10	Paper
A cirquent calculus system with clustering and ranking	2016-06-30	Paper
From the logic of facts to the logic of tasks	2016-03-15	Paper
Theorems in the logic of tasks	2016-03-15	Paper
The countable versus uncountable branching recurrences in computability logic	2013-05-02	Paper
The parallel versus branching recurrences in computability logic	2013-01-30	Paper
Deduction Theorem for Symmetric Cirquent Calculus	2012-12-14	Paper
Soundness and completeness of the cirquent calculus system CL6 for computability logic	2012-08-01	Paper
https://portal.mardi4nfdi.de/entity/Q3052509	2010-11-05	Paper
https://portal.mardi4nfdi.de/entity/Q3413829	2006-12-18	Paper
A 16-classification partition of formula set \(F(S)\) in revised Kleene system \(\overline W\)	2006-03-02	Paper
https://portal.mardi4nfdi.de/entity/Q4659257	2005-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q4658001	2005-03-14	Paper

Research outcomes over time

This page was built for person: Wenyan Xu