Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Alessandra Palmigiano
Map detail
Alessandra Palmigiano13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAlessandra PalmigianoAAlessandra PalmigianoResearcherGroupoid Quantales: a non étale settingWGroupoid Quantales: a n...preprint / 2010Sahlqvist theory for impossible worldsWSahlqvist theory for im...preprint / 2016Slanted canonicity of analytic inductive inequalitiesWSlanted canonicity of a...preprint / 2021Dual characterizations for finite lattices via correspondence theory for monotone modal logicWDual characterizations ...preprint / 2014An Abstract Algebraic Logic View on Judgment AggregationWAn Abstract Algebraic L...preprint / 2016Algorithmic correspondence and canonicity for non-distributive logicsWAlgorithmic corresponde...preprint / 2016Algebraic modal correspondence: Sahlqvist and beyondWAlgebraic modal corresp...preprint / 2016Linear Logic Properly DisplayedWLinear Logic Properly D...preprint / 2016Canonicity and Relativized Canonicity via Pseudo-Correspondence: an Application of ALBAWCanonicity and Relativi...preprint / 2016Lattice Logic Properly DisplayedWLattice Logic Properly ...preprint / 2016Syntactic completeness of proper display calculiWSyntactic completeness ...preprint / 2021Constructive canonicity for lattice-based fixed point logicsWConstructive canonicity...preprint / 2016
Person12 links

Alessandra Palmigiano

Researcher