Apostolos Tzimoulis
Apostolos Tzimoulis
Vrije Universiteit Amsterdam
E-mail confirmado em tzimoulis.eu
Título
Citado por
Citado por
Ano
Unified correspondence as a proof-theoretic tool
G Greco, M Ma, A Palmigiano, A Tzimoulis, Z Zhao
Journal of Logic and Computation 28 (7), 1367-1442, 2018
732018
Categories: how I learned to stop worrying and love two sorts
W Conradie, S Frittella, A Palmigiano, M Piazzai, A Tzimoulis, ...
International Workshop on Logic, Language, Information, and Computation, 145-164, 2016
402016
The logic of resources and capabilities
M Bílková, G Greco, A Palmigiano, A Tzimoulis, N Wijnberg
The Review of Symbolic Logic 11 (2), 371-410, 2018
332018
Toward an epistemic-logical theory of categorization
W Conradie, S Frittella, A Palmigiano, M Piazzai, A Tzimoulis, ...
arXiv preprint arXiv:1707.08743, 2017
252017
Logics for rough concept analysis
G Greco, P Jipsen, K Manoorkar, A Palmigiano, A Tzimoulis
Indian Conference on Logic and Its Applications, 144-159, 2019
162019
Algebraic and proof-theoretic foundations of the logics for social behaviour
A Tzimoulis
Delft University of Technology, 2018
132018
Algebraic proof theory for LE-logics
G Greco, P Jipsen, F Liang, A Palmigiano, A Tzimoulis
arXiv preprint arXiv:1808.04642, 2018
112018
Rough concepts
W Conradie, S Frittella, K Manoorkar, S Nazari, A Palmigiano, A Tzimoulis, ...
Information Sciences 561, 371-413, 2021
102021
Probabilistic epistemic updates on algebras
W Conradie, S Frittella, A Palmigiano, A Tzimoulis, N Wijnberg
ACM Transactions on Computational Logic (TOCL) 20 (4), 1-75, 2019
102019
Modelling socio-political competition
W Conradie, A Palmigiano, C Robinson, A Tzimoulis, N Wijnberg
Fuzzy Sets and Systems 407, 115-141, 2021
82021
Non normal logics: semantic analysis and proof theory
J Chen, G Greco, A Palmigiano, A Tzimoulis
International Workshop on Logic, Language, Information, and Computation, 99-118, 2019
82019
Goldblatt-Thomason for LE-logics
W Conradie, A Palmigiano, A Tzimoulis
arXiv preprint arXiv:1809.08225, 2018
82018
Toward a Dempster-Shafer theory of concepts
S Frittella, K Manoorkar, A Palmigiano, A Tzimoulis, N Wijnberg
International Journal of Approximate Reasoning 125, 14-25, 2020
62020
Syntactic completeness of proper display calculi
J Chen, G Greco, A Palmigiano, A Tzimoulis
arXiv preprint arXiv:2102.11641, 2021
32021
The logic of vague categories
W Conradie, A Palmigiano, C Robinson, A Tzimoulis, NM Wijnberg
arXiv preprint arXiv:1908.04816, 2019
32019
Universal models for the positive fragment of intuitionistic logic
N Bezhanishvili, D de Jongh, A Tzimoulis, Z Zhao
International Tbilisi Symposium on Logic, Language, and Computation, 229-250, 2015
32015
Lambek-Grishin Calculus: Focusing, Display and Full Polarization
G Greco, VD Richard, M Moortgat, A Tzimoulis
arXiv preprint arXiv:2011.02895, 2020
12020
Non-normal modal logics and conditional logics: Semantic analysis and proof theory
J Chen, G Greco, A Palmigiano, A Tzimoulis
Information and Computation, 104756, 2021
2021
Determinacy and measurable cardinals in HOD
A Tzimoulis
2013
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–19