Jingde Cheng

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
An extension of formal analysis method with reasoning: a case study of flaw detection for non-repudiation and fairness	2019-10-14	Paper
A systematic methodology for automated theorem finding Theoretical Computer Science	2014-10-06	Paper
Semantics for a basic relevant logic with intensional conjunction and disjunction	2013-12-04	Paper
A quantitative analysis of implicational paradoxes in classical mathematical logic	2013-12-04	Paper
Finding theorems in NBG set theory by automated forward deduction based on strong relevant logic Lecture Notes in Computer Science	2013-06-11	Paper
Semantics for a basic relevant logic with intensional conjunction and disjunction (and some of its extensions) Mathematical Structures in Computer Science	2008-04-10	Paper
Anticipatory Agents Based on Anticipatory Reasoning Lecture Notes in Computer Science	2008-03-17	Paper
Operational Semantics for Positive Relevant Logics Without Distribution Lecture Notes in Computer Science	2007-11-13	Paper
scientific article; zbMATH DE number 1929149 (Why is no real title available?)	2003-06-17	Paper
scientific article; zbMATH DE number 1552573 (Why is no real title available?)	2001-07-29	Paper
An algebraic semantics of notional entailment logic Cn Information Processing Letters	1990-01-01	Paper

Research outcomes over time

This page was built for person: Jingde Cheng