Jingde Cheng

Available identifiers

zbMath Open cheng.jingdeMaRDI QIDQ744078

List of research outcomes

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	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	2013-06-11	Paper
Semantics for a basic relevant logic with intensional conjunction and disjunction (and some of its extensions)	2008-04-10	Paper
Anticipatory Agents Based on Anticipatory Reasoning	2008-03-17	Paper
Operational Semantics for Positive Relevant Logics Without Distribution	2007-11-13	Paper
https://portal.mardi4nfdi.de/entity/Q4708195	2003-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q4524837	2001-07-29	Paper
An algebraic semantics of notional entailment logic Cn	1990-01-01	Paper

Research outcomes over time

This page was built for person: Jingde Cheng