9 results on '"Alessandra Palmigiano"'
Search Results
2. Subordination Algebras as Semantic Environment of Input/Output Logic.
3. Non Normal Logics: Semantic Analysis and Proof Theory.
4. Modelling Informational Entropy.
5. Lattice Logic Properly Displayed.
6. Constructive Canonicity for Lattice-Based Fixed Point Logics.
7. Multi-type Display Calculus for Semi De Morgan Logic.
8. Categories: How I Learned to Stop Worrying and Love Two Sorts.
9. A Multi-type Calculus for Inquisitive Logic.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.