Search

Your search keyword '"Palmigiano A"' showing total 58 results

Search Constraints

Start Over You searched for: Author "Palmigiano A" Remove constraint Author: "Palmigiano A" Database Springer Nature eBooks Remove constraint Database: Springer Nature eBooks
58 results on '"Palmigiano A"'

Search Results

1. Description Logic for Rough Concepts

2. Correspondence Theory on Vector Spaces

3. Non-distributive Description Logic

4. Labelled Calculi for Lattice-Based Modal Logics

5. Labelled Calculi for the Logics of Rough Concepts

6. Subordination Algebras as Semantic Environment of Input/Output Logic

7. Modelling Informational Entropy

8. Non Normal Logics: Semantic Analysis and Proof Theory

9. Logics for Rough Concept Analysis

10. Software Tool Support for Modular Reasoning in Modal Logics of Actions

11. Constructive Canonicity for Lattice-Based Fixed Point Logics

12. Multi-type Display Calculus for Semi De Morgan Logic

13. Lattice Logic Properly Displayed

14. Categories: How I Learned to Stop Worrying and Love Two Sorts

15. A Multi-type Calculus for Inquisitive Logic

16. An Abstract Algebraic Logic View on Judgment Aggregation

17. Probabilistic Epistemic Updates on Algebras

18. Generalized Ultraproduct and Kirman-Sondermann Correspondence for Vote Abstention

19. Unified Correspondence

20. Dynamic Epistemic Logic Displayed

21. Nabla Algebras and Chu Spaces

22. Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic

23. Compositionality in Context

49. Stone Duality for Relations

Catalog

Books, media, physical & digital resources