Search alternatives:
22mathematical logic » mathematical logic, mathematics logic, mathematical logical
Cover Image
Read Now

1
by Li, Wei, Sui, Yuefei
Published 2024
Springer Nature Singapore
Table of Contents: “...Introduction -- Decidable DLs 30 -- R-calculus for binary-valued description logic -- R-calculi...”
Cover Image
Read Now

2
by Li, Wei, Sui, Yuefei
Published 2022
Springer Nature Singapore
Table of Contents: “...Introduction -- R-Calculus For Propositional Logic -- R-Calculus For L3-Valued Propositional Logic...”