( en | de | ru )

 

Disambiguation of "Palmigiano, Alessandra"

Author of the publication

copydeleteadd this publication to your clipboard
Canonical extensions and relational completeness of some substructural logics.

, , and . J. Symb. Log., 70 (3): 713-740 (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Alessandra Gilibert

Alessandra Riva

Alessandra Rauti

Alessandra Martire

Alessandra Milandri

 

Other publications of authors with the same name

Lattice Logic Properly Displayed., and . WoLLIC, volume 10388 of Lecture Notes in Computer Science, page 153-169. Springer, (2017)Algorithmic correspondence and canonicity for non-distributive logics., and . Ann. Pure Appl. Log., 170 (9): 923-974 (2019)Algorithmic correspondence and canonicity for distributive modal logic., and . Ann. Pure Appl. Log., 163 (3): 338-376 (2012)Slanted Canonicity of Analytic Inductive Inequalities., and . ACM Trans. Comput. Log., 22 (3): 18:1-18:41 (2021)Algebraic Proof Theory for LE-logics., , , , and . ACM Trans. Comput. Log., 25 (1): 6:1-6:37 (January 2024)Unified inverse correspondence for DLE-Logics., , , , , and . CoRR, (2022)Proof systems for Moss' coalgebraic logic., , and . Theor. Comput. Sci., (2014)Labelled Calculi for Lattice-Based Modal Logics., , , , , and . ICLA, volume 13963 of Lecture Notes in Computer Science, page 23-47. Springer, (2023)Modal reduction principles across relational semantics., , , , , , and . CoRR, (2022)The Logic of Resources and Capabilities., , , and . Rev. Symb. Log., 11 (2): 371-410 (2018)