29 results on '"Ma, Minghui"'
Search Results
2. Kripke-Completeness and Sequent Calculus for Quasi-Boolean Modal Logic
3. On arithmetic properties of Cantor sets
4. The effect of automation on firms’ carbon dioxide emissions of China
5. Finite Model Property in Weakly Transitive Tense Logics
6. Intuitionistic Propositional Logic with Galois Negations
7. A Proof-Theoretic Approach to Negative Translations in Intuitionistic Tense Logics
8. Peirce’s Dragon-Head Logic (R 501, 1901)
9. Temporal trends of heavy metals in the sediments of Bohai Bay in China
10. Correction to: The non-lane-discipline-based car-following model considering forward and backward vehicle information under connected environment
11. The non-lane-discipline-based car-following model considering forward and backward vehicle information under connected environment
12. Lattices of Finitely Alternative Normal Tense Logics
13. Improvement of long-term risks of cardiovascular events associated with community-based disease management in Chinese patients of the Xinjiang autonomous region of China
14. Dynamic Control Cycle Speed Limit Strategy for Improving Traffic Operation at Freeway Bottlenecks
15. Belnap–Dunn Modal Logic with Value Operators
16. A Paraconsistent Conditional Logic
17. An optical DNA logic gate based on strand displacement and magnetic separation, with response to multiple microRNAs in cancer cell lysates
18. Polarity Semantics for Negation as a Modal Operator
19. Analysis of Bus Bunching Impact on Car Delays at Signalized Intersections
20. Countably Many Weakenings of Belnap–Dunn Logic
21. Labelled Tableau Systems for Some Subintuitionistic Logics
22. A Three-Valued Fregean Quantification Logic
23. Sequent Calculi for Global Modal Consequence Relations
24. A Deterministic Weakening of Belnap–Dunn Logic
25. Let Us Investigate! Dynamic Conjecture-Making as the Formal Logic of Abduction
26. Sequent Calculi for Semi-De Morgan and De Morgan Algebras
27. An optical DNA logic gate based on strand displacement and magnetic separation, with response to multiple microRNAs in cancer cell lysates
28. Gamma graph calculi for modal logics
29. Proof Analysis of Peirce’s Alpha System of Graphs
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.