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

Personal profile

Ancillary activities

No ancillary activities

Ancillary activities are updated daily

Fingerprint Dive into the research topics where Alessandra Palmigiano is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 1 Similar Profiles
Logic Mathematics
Modal Logic Mathematics
Calculus Mathematics
Algebra Engineering & Materials Science
Multitype Mathematics
Correspondence Mathematics
Display devices Engineering & Materials Science
Dynamic Logic Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2002 2019

Algorithmic correspondence and canonicity for non-distributive logics

Conradie, W. & Palmigiano, A., 1 Sep 2019, In : Annals of Pure and Applied Logic. 170, 9, p. 923-974 52 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Correspondence
Logic
Lambek Calculus
Intuitionistic Logic
Modal Logic

Bilattice logic properly displayed

Greco, G., Liang, F., Palmigiano, A. & Rivieccio, U., 15 May 2019, In : Fuzzy Sets and Systems. 363, p. 138-155 18 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Multitype
Display
Calculus
Display devices
Logic

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

Modelling Informational Entropy

Conradie, W., Craig, A., Palmigiano, A. & Wijnberg, N. M., 1 Jan 2019, Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, Proceedings. Iemhoff, R., Moortgat, M. & de Queiroz, R. (eds.). Springer Verlag, p. 140-160 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11541 LNCS).

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

Entropy
Modeling
Linguistics
Machinery
Semantics

Non Normal Logics: Semantic Analysis and Proof Theory

Chen, J., Greco, G., Palmigiano, A. & Tzimoulis, A., 1 Jan 2019, Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, Proceedings. Iemhoff, R., Moortgat, M. & de Queiroz, R. (eds.). Springer Verlag, p. 99-118 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11541 LNCS).

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

Proof Theory
Semantic Analysis
Modal Logic
Calculus
Semantics