If you made any changes in Pure these will be visible here soon.

Research Output 2015 2019

  • 4 Conference contribution
  • 1 Paper
  • 1 Article
  • 1 Review article
Filter
Conference contribution
2019

Logics for rough concept analysis

Greco, G., Jipsen, P., Manoorkar, K., Palmigiano, A. & Tzimoulis, A., 1 Jan 2019, Logic and Its Applications - 8th Indian Conference, ICLA 2019, Proceedings. Manuel, A. & Khan, M. A. (eds.). Springer Verlag, p. 144-159 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11600 LNCS).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Algebra
Rough
Logic
Calculus
Display devices
2017

Universal models for the positive fragment of intuitionistic logic

Bezhanishvili, N., de Jongh, D., Tzimoulis, A. & Zhao, Z., 1 Jan 2017, Logic, Language, and Computation - 11th International Tbilisi Symposium, TbiLLC 2015, Revised Selected Papers. Sadrzadeh, M., Zeevat, H., Murray, S. E. & Hansen, H. H. (eds.). Springer Verlag, p. 229-250 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10148 LNCS).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Intermediate Logics
Intuitionistic Logic
Fragment
Excluded third
Calculus
2016

Categories: How I learned to stop worrying and love two sorts

Conradie, W., Frittella, S., Palmigiano, A., Piazzai, M., Tzimoulis, A. & Wijnberg, N. M., 1 Jan 2016, Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Proceedings. Väänänen, J., Hirvonen, Å. & de Queiroz, R. (eds.). Springer Verlag, p. 145-164 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9803 LNCS).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Polarity
Sort
Categorization
Modality
Substructural Logics
2015

Probabilistic epistemic updates on algebras

Conradie, W., Frittella, S., Palmigiano, A. & Tzimoulis, A., 1 Jan 2015, Logic, Rationality, and Interaction - 5th International Workshop, LORI 2015, Proceedings. Wang, W-F., van der Hoek, W. & Holliday, W. H. (eds.). Springer Verlag, p. 64-76 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9394).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Epistemic Logic
Dynamic Logic
Algebra
Update
Heyting Algebra