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
https://portal.mardi4nfdi.de/entity/Q2863909	2013-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q2863911	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jingde Cheng