Zaiyue Zhang

Available identifiers

Publication	Date of Publication	Type
The \(\mathbf{M}\)-computations induced by accessibility relations in nonstandard models \(\mathbf{M}\) of Hoare logic	2019-01-22	Paper
Tolerance-based multigranulation rough sets in incomplete systems	2018-12-19	Paper
https://portal.mardi4nfdi.de/entity/Q3406325	2010-02-12	Paper
Description of the belief revisions based on the propositional model sets	2009-11-11	Paper
The Rough Logic and Roughness of Logical Theories	2007-09-07	Paper
Further Study of the Fuzzy Reasoning Based on Propositional Modal Logic	2007-09-07	Paper
Theory and Applications of Models of Computation	2007-04-30	Paper
Local noncuppability in \(\mathbf R /\mathbf M\)	2007-02-20	Paper
A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic	2007-01-22	Paper
Rough Sets and Current Trends in Computing	2006-11-01	Paper
Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing	2006-11-01	Paper
https://portal.mardi4nfdi.de/entity/Q5700409	2005-10-28	Paper
https://portal.mardi4nfdi.de/entity/Q4456920	2004-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q4456934	2004-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q4426977	2003-09-18	Paper
The contiguity in R/M.	2002-01-01	Paper
Extending the Cooper minimal pair theorem	2001-09-23	Paper
A hierarchy for cuppable degrees	2001-09-03	Paper
The cupping theorem in R/M	1999-12-19	Paper
https://portal.mardi4nfdi.de/entity/Q4385988	1998-08-24	Paper
Properties of large cardinals and precipitous ideal	1995-06-13	Paper

This page was built for person: Zaiyue Zhang