Alessandra Palmigiano

1. Non-distributive logics: from semantics to meaning
   2020/02/11 by Willem Conradie, Alessandra Palmigiano, Conradie, Willem +5 · 1 citation
   Computer Science · #03B45 #Advanced Algebra and Logic #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies
2. Syntactic completeness of proper display calculi
   2021/02/23 by Jinsheng Chen, G. Greco, Chen, Jinsheng +5 · 1 citation
   Computer Science · #Logic, Reasoning, and Knowledge #Advanced Algebra and Logic #Logic, programming, and type systems
3. Dual characterizations for finite lattices via correspondence theory for\n monotone modal logic
   2014/08/08 by Sabine Frittella, Alessandra Palmigiano, Frittella, Sabine +3 · 1 citation
   Computer Science · #Logic, Reasoning, and Knowledge #Advanced Algebra and Logic #Logic, programming, and type systems
4. Lattice Logic Properly Displayed
   2016/12/18 by G. Greco, Alessandra Palmigiano, Greco, Giuseppe +1 · 1 citation
   Computer Science · #Advanced Database Systems and Queries #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies
5. Non-distributive description logic
   2023/07/18 by Ineke van der Berg, van der Berg, Ineke, Andrea De Domenico +9 · 1 citation
   Computer Science · #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies
6. Unified inverse correspondence for LE-logics
   2024/05/02 by Alessandra Palmigiano, Palmigiano, Alessandra, Mattia Panettiere +1 · 1 citation
   Computer Science · #Advanced Algebra and Logic #FOS: Mathematics #Logic (math.LO)