Minghui Ma
Sun Yat-Sen University
H-index: 13
Asia-China
Top articles of Minghui Ma
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Decidability of topological quasi-Boolean algebras | Journal of Applied Non-Classical Logics | Yiheng Wang Zhe Lin Minghui Ma | 2024/7/2 |
Kripke-Completeness and Sequent Calculus for Quasi-Boolean Modal Logic | Studia Logica | Minghui Ma Juntong Guo | 2024/3/6 |
Merging Intuitionistic and De Morgan Logics | Mathematics | Minghui Ma Juntong Guo | 2024/1/2 |
Residuated Basic Logic | Axioms | Zhe Lin Minghui Ma | 2023/10/13 |
Intuitionistic propositional logic with galois negations | Studia Logica | Minghui Ma Guiying Li | 2023/2 |
Cut-Free Gentzen Sequent Calculi for Tense Logics | Axioms | Zhe Lin Minghui Ma | 2023/6/21 |
Finite Model Property in Weakly Transitive Tense Logics | Studia Logica | Minghui Ma Qian Chen | 2023/4 |
An Infinity of Intuitionistic Connexive Logics | Hao Wu Minghui Ma | 2023/2/22 | |
Modal Logic of Generalized Separated Topological Spaces | Qian Chen Minghui Ma | 2023/2/22 | |
Epistemic Monadic Boolean Algebras | Juntong Guo Minghui Ma | 2023/10/24 | |
Relational Semantics for Normal Topological Quasi-Boolean Logic | Hao Wu Minghui Ma | 2023/2/22 | |
A proof-theoretic approach to negative translations in intuitionistic tense logics | Studia Logica | Zhe Lin Minghui Ma | 2022/10 |
Peirce’s Dragon-Head Logic (R 501, 1901) | Archive for History of Exact Sciences | Minghui Ma Ahti-Veikko Pietarinen | 2022/5 |
Tabularity and Post-Completeness in Tense Logic | The Review of Symbolic Logic | Qian Chen Minghui Ma | 2022/4/7 |
Peirce’s Dragon-Head Logic | Minghui Ma Ahti-Veikko Pietarinen | 2022 | |
Lattices of finitely alternative normal tense logics | Studia Logica | Minghui Ma Qian Chen | 2021/10 |
Belnap–Dunn Modal Logic with Value Operators | Studia Logica | Yuanlei Lin Minghui Ma | 2021/8 |
Residuated algebraic structures in the vicinity of pre-rough algebra and decidability | Fundamenta Informaticae | Zhe Lin Mihir Kumar Chakraborty Minghui Ma | 2021/1/1 |
Peirce’s calculi for classical propositional logic | The Review of Symbolic Logic | Minghui Ma Ahti-Veikko Pietarinen | 2020/9 |
Countably many weakenings of Belnap–Dunn logic | Studia Logica | Minghui Ma Yuanlei Lin | 2020/4 |