Sui, Yuefei.
Overview
Works: | 1 works in 4 publications in 1 languages |
---|
Titles
R-calculus.II,Many-valued logics
by:
Li, Wei.; SpringerLink (Online service); Sui, Yuefei.
(Electronic resources)
R-calculus.IV,Propositional logic
by:
Li, Wei.; SpringerLink (Online service); Sui, Yuefei.
(Electronic resources)
R-CALCULUSa logic of belief revision /
by:
Li, Wei.; SpringerLink (Online service); Sui, Yuefei.
(Electronic resources)
R-calculus.III,Post three-valued logic
by:
Li, Wei.; SpringerLink (Online service); Sui, Yuefei.
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Computer logic.
Calculus.
Logic in AI.
Logic, Symbolic and mathematical.
Mathematics of Computing.
Big Data.
Formal Languages and Automata Theory.
Proof theory.
Propositional calculus.
Mathematical Modeling and Industrial Mathematics.