Alessandra Palmigiano
University of Johannesburg
104 Papers
638 Citations
Alessandra Palmigiano is an academic researcher from University of Johannesburg. The author has contributed to research in topics: Modal logic & Axiom. The author has an hindex of 24, co-authored 104 publications. Previous affiliations of Alessandra Palmigiano include University of Amsterdam & Delft University of Technology.
Chat about Author
Papers
Non-normal modal logics and conditional logics: Semantic analysis and proof theory
Jinsheng Chen,Jinsheng Chen,Giuseppe Greco,Alessandra Palmigiano,Alessandra Palmigiano,Apostolos Tzimoulis +5 more
TL;DR: In this article, proper display calculi for basic monotonic modal logic, the conditional logic CK and a number of their axiomatic extensions are introduced, which are sound, complete, conservative, and enjoy cut elimination and subformula property.
3
Residuation algebras with functional duals
TL;DR: In this paper, the authors employ the theory of canonical extensions to study residuation algebras whose associated relational structures are functional, i.e., for which the ternary relations associated to the expanded operations admit an interpretation as (possibly partial) functions.
Vector spaces as kripke frames
Giuseppe Greco,Fei Liang,Michael Moortgat,Alessandra Palmigiano,Apostolos Tzimoulis +4 more
- 01 Jan 2020
TL;DR: In this article, a vector space semantics for associative, commutative and unital Lambek calculus can be derived from vector spaces by interpreting fusion as the tensor product of vector spaces.
3
•Posted Content
An Abstract Algebraic Logic View on Judgment Aggregation
TL;DR: In this paper, the authors propose Abstract Algebraic Logic (AAL) as a general logical framework for judgment aggregation and propositional-attitude aggregation, characterizing certain Arrovian classes of aggregators as Boolean algebra and MV-algebra homomorphisms, respectively.
3
•Posted Content
Semi De Morgan logic properly displayed
TL;DR: This paper endow semi De Morgan logic and a family of its axiomatic extensions with proper multi-type display calculi which are sound, complete, conservative, and enjoy cut elimination and subformula property.
2