Zobrazeno 1 - 10
of 55
pro vyhledávání: '"Alessandra Palmigiano"'
Autor:
Willem Conradie, Alessandra Palmigiano
Publikováno v:
Logical Methods in Computer Science, Vol Volume 16, Issue 3 (2020)
We prove the canonicity of inductive inequalities in a constructive meta-theory, for classes of logics algebraically captured by varieties of normal and regular lattice expansions. This result encompasses Ghilardi-Meloni's and Suzuki's constructive c
Externí odkaz:
https://doaj.org/article/0f9b5d5d92e54cba98fb42b873f4e106
Autor:
Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Michele Piazzai, Apostolos Tzimoulis, Nachoem M. Wijnberg
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 251, Iss Proc. TARK 2017, Pp 167-186 (2017)
Categorization systems are widely studied in psychology, sociology, and organization theory as information-structuring devices which are critical to decision-making processes. In the present paper, we introduce a sound and complete epistemic logic of
Externí odkaz:
https://doaj.org/article/9232628f422d41b4a0ef74753a04ccae
Publikováno v:
Logical Methods in Computer Science, Vol Volume 15, Issue 1 (2019)
In recent years, unified correspondence has been developed as a generalized Sahlqvist theory which applies uniformly to all signatures of normal and regular (distributive) lattice expansions. This includes a general definition of the Sahlqvist and in
Externí odkaz:
https://doaj.org/article/0b47c7de0789467485e8745a346f88e7
Autor:
Giuseppe Greco, Alessandra Palmigiano
Publikováno v:
ACM Transactions on Computational Logic, 24(2):3570919, 1-56. Association for Computing Machinery (ACM)
Greco, G & Palmigiano, A 2023, ' Linear Logic Properly Displayed ', ACM Transactions on Computational Logic, vol. 24, no. 2, 3570919, pp. 1-56 . https://doi.org/10.1145/3570919
Greco, G & Palmigiano, A 2023, ' Linear Logic Properly Displayed ', ACM Transactions on Computational Logic, vol. 24, no. 2, 3570919, pp. 1-56 . https://doi.org/10.1145/3570919
We introduce proper display calculi for intuitionistic, bi-intuitionistic and classical linear logics with exponentials, which are sound, complete, conservative, and enjoy cut elimination and subformula property. Based on the same design, we introduc
Autor:
Diederik Meijer, Alessandra Palmigiano, Anja Eleveld, Esra Turunc, Lars Heer, Reza Zeldenrust
Publikováno v:
Tijdschrift voor Ontslagrecht, 2022(4), 111-122. Boom juridisch
Meijer, D, Palmigiano, A, Eleveld, A, Turunc, E, Heer, L & Zeldenrust, R 2022, ' Verwijtbaar handelen of nalaten, een categorisering ', Tijdschrift voor Ontslagrecht, vol. 2022, no. 4, pp. 111-122 . https://doi.org/10.5553/TvO/254253152022006004003
Vrije Universiteit Amsterdam
Meijer, D, Palmigiano, A, Eleveld, A, Turunc, E, Heer, L & Zeldenrust, R 2022, ' Verwijtbaar handelen of nalaten, een categorisering ', Tijdschrift voor Ontslagrecht, vol. 2022, no. 4, pp. 111-122 . https://doi.org/10.5553/TvO/254253152022006004003
Vrije Universiteit Amsterdam
Publikováno v:
Chen, J, Greco, G, Palmigiano, A & Tzimoulis, A 2022, ' Syntactic Completeness of Proper Display Calculi ', ACM Transactions on Computational Logic, vol. 23, no. 4, 23, pp. 1-46 . https://doi.org/10.1145/3529255
ACM Transactions on Computational Logic, 23(4):23, 1-46. Association for Computing Machinery (ACM)
ACM Transactions on Computational Logic, 23(4):23, 1-46. Association for Computing Machinery (ACM)
A recent strand of research in structural proof theory aims at exploring the notion of analytic calculi (i.e. those calculi that support general and modular proof-strategies for cut elimination), and at identifying classes of logics that can be captu
Publikováno v:
De Rudder, L & Palmigiano, A 2021, ' Slanted Canonicity of Analytic Inductive Inequalities ', ACM Transactions on Computational Logic, vol. 22, no. 3, 18, pp. 1-41 . https://doi.org/10.1145/3460973
ACM Transactions on Computational Logic, 22(3):18, 1-41. Association for Computing Machinery (ACM)
ACM Transactions on Computational Logic, 22(3):18, 1-41. Association for Computing Machinery (ACM)
We prove an algebraic canonicity theorem for normal LE-logics of arbitrary signature, in a generalized setting in which the non-lattice connectives are interpreted as operations mapping tuples of elements of the given lattice to closed or open elemen
Autor:
Sabine Frittella, Nachoem M. Wijnberg, Sajad Nazari, Willem Conradie, Krishna Manoorkar, Alessandra Palmigiano, Apostolos Tzimoulis
Publikováno v:
Information Sciences
Information Sciences, Elsevier, 2020, ⟨10.1016/j.ins.2020.05.074⟩
Information Sciences, 561, 371-413. Elsevier Inc.
Information Sciences, 561, 371-413. Elsevier
Conradie, W, Frittella, S, Manoorkar, K, Nazari, S, Palmigiano, A, Tzimoulis, A & Wijnberg, N M 2021, ' Rough concepts ', Information Sciences, vol. 561, pp. 371-413 . https://doi.org/10.1016/j.ins.2020.05.074
Information Sciences, Elsevier, 2020, ⟨10.1016/j.ins.2020.05.074⟩
Information Sciences, 561, 371-413. Elsevier Inc.
Information Sciences, 561, 371-413. Elsevier
Conradie, W, Frittella, S, Manoorkar, K, Nazari, S, Palmigiano, A, Tzimoulis, A & Wijnberg, N M 2021, ' Rough concepts ', Information Sciences, vol. 561, pp. 371-413 . https://doi.org/10.1016/j.ins.2020.05.074
The present paper proposes a novel way to unify Rough Set Theory and Formal Concept Analysis. Our method stems from results and insights developed in the algebraic theory of modal logic, and is based on the idea that Pawlak's original approximation s
Autor:
Claudette Robinson, Willem Conradie, Nachoem M. Wijnberg, Alessandra Palmigiano, Apostolos Tzimoulis
Publikováno v:
Conradie, W, Palmigiano, A, Robinson, C, Tzimoulis, A & Wijnberg, N 2021, ' Modelling socio-political competition ', Fuzzy Sets and Systems, vol. 407, pp. 115-141 . https://doi.org/10.1016/j.fss.2020.02.005
Fuzzy Sets and Systems, 407, 115-141. Elsevier
Fuzzy Sets and Systems, 407, 115-141. Elsevier
This paper continues the investigation of the logic of competing theories, be they scientific, social, political etc. We introduce a many-valued, multi-type modal language which we endow with relational semantics based on enriched reflexive graphs, i
Publikováno v:
Greco, G, Liang, F, Moshier, M A & Palmigiano, A 2021, ' Semi De Morgan Logic Properly Displayed ', Studia logica, vol. 109, no. 1, pp. 1-45 . https://doi.org/10.1007/s11225-020-09898-y
Studia logica, 109(1), 1-45. Springer Netherlands
Studia logica, 109(1), 1-45. Springer Netherlands
In the present paper, we 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. Our proposal builds on an