Statistics
Publications
5
Citations
143
H-Index
5
Active since
2016
Apostolos Tzimoulis is an author at University of Johannesburg specializing in humanities, computer science, and logic.
Publications per year
2016–2023
5
5
Unified correspondence as a proof-theoretic tool
Giuseppe Greco, Minghui Ma, Alessandra Palmigiano et al. · Journal of Logic and Computation · 2016 · 47 citations · Full text
Willem Conradie, Sabine Frittella, Krishna Manoorkar et al. · Information Sciences · 2020 · 26 citations · Full text
Toward a Dempster-Shafer theory of concepts
Sabine Frittella, Krishna Manoorkar, Alessandra Palmigiano et al. · International Journal of Approximate Reasoning · 2020 · 23 citations · Full text
Algebraic Proof Theory for LE-logics
Giuseppe Greco, Peter Jipsen, Fei Liang et al. · ACM Transactions on Computational Logic · 2023 · 16 citations · Full text
1–5 of 5