DeKLA Publications
Journal Articles.
S. Bonzio, N. Zamperlin, Modal weak Kleene logics: axiomatizations and relational semantics, Journal of Logic and Computation, 2025.
A. Aldini, G. Curzi, P. Graziani, M. Tagliaferri, A probabilistic modal logic for context-aware trust based on evidence, International Journal of Approximate Reasoning, 2024.
M. Bernardo, C.A. Mezzina, A. Esposito, Causal Reversibility in Nondeterministic Process Calculi Extended with Time or Probabilities, Theoretical Computer Science, 2025.
L. Bocchi, I. Lanese, C.A. Mezzina, S. Yuen, revTPL: The Reversible Temporal Process Language, Logical Methods in Computer Science, 2024.
H. Melgratti, C.A. Mezzina, G.M. Pinna, A Reversible Perspective on Petri Nets and Event Structures, ACM Transactions on Computational Logic, 2024.
H. Melgratti, C.A. Mezzina, G.M. Pinna, A truly concurrent semantics for reversible CCS, Logical Methods in Computer Science, 2024.
C.A. Mezzina, F. Tiezzi, N. Yoshida, Checkpoint-based rollback recovery in session programming, Logical Methods in Computer Science, 2025.
S. Bonzio, M. Pra Baldi, On the structure of Bochvar algebras, The Review of Symbolic Logic, 2025.
S. Bonzio, G. St. John, On the structure and theory of McCarthy algebras, Semigroup Forum, 2025.
N. Zamperlin, Generalized Epstein semantics for Parry systems, Studia Logica, 2025.
H. Freytes, Local Quantum Field Logic, Studia Logica, 2025.
L. Fusco, F. Paoli, Enriched Płonka sums, Algebra Universalis, 2026.
D. Fazio, A. Ledda, F. Paoli, Intuitionistic logic as a connexive logic, Studia Logica, 2024.
I. Chajda, H. Länger, A. Ledda, J. Paseka, G. Vergottini, Tense logics based on posets, Journal of Logic and Computation, 2025.
I. Chajda, A. Ledda, J. Paseka, G. Vergottini, Unsharp residuation in posets, Fuzzy Sets and Systems, 2026.
R. Giuntini, A. Ledda, G. Vergottini, Generalizing orthomodularity to unsharp contexts: properties, blocks, residuation, Logic Journal of the IGPL, 2025.
A. Ledda, G. Vergottini, A survey on unsharp orthomodular lattices, Journal of Algebraic Hyperstructures and Logical Algebras, 2024.
A. Ledda, G. Vergottini, Orthomodular and unsharp orthomodular lattices: a categorical equivalence, Studia Logica, 2025.
I. Chajda, A. Ledda, G. Vergottini, Representations of regular double Stone algebras. Theory and applications, Logic Journal of the IGPL, 2025.
A. Ledda, H.P. Sankappanavar, G. Vergottini, The amalgamation property in the variety of regular double Stone algebras: A constructive view, Bulletin of the Section of Logic, 2025.
S. Bonzio, P.A. García-Sánchez, The poset of normalized ideals of numerical semigroups with multiplicity three, Communications in Algebra, 2025.
S. Bonzio, P.A. García-Sánchez, When the poset of the ideal class monoid of a numerical semigroup is a lattice, Contemporary Mathematics, 2025.
A. Bucciarelli, P.L. Curien, A. Ledda, F. Paoli, A. Salibra, The higher dimensional propositional calculus, Logic Journal of the IGPL, 2025.
S. Bonzio, F. Paoli, M. Pra Baldi, Bochvar algebras: Categorical equivalence and the generated variety, Zeitschrift für Mathematische Logik und Grundlagenforschung, 2025.
S. Bonzio, A. Loi, Embeddings of metric Boolean algebras in R^N, Topology and its Applications, 2024.
M. Damele, A. Loi, Structural and rigidity properties of Lie skew braces, Journal of Algebra, 2026.
C. Arezzo, C. Li, A. Loi, Gromov-Hausdorff limits and holomorphic isometries, Mathematical Research Letters, 2025.
A. Loi, G. Placini, Any Sasakian structure is approximated by embeddings into spheres, Forum Mathematicum, 2025.
Conference Proceedings
A. Aldini, C.A. Mezzina, Formalizing Errors in CCS with 3-Valued Logic, COORDINATION 2025, Springer.
M. Bernardo, A. Esposito, C.A. Mezzina, Alternative Characterizations of Hereditary History-Preserving Bisimilarity via Backward Ready Multisets, FoSSaCS 2025, Springer.
H. Melgratti, C.A. Mezzina, G.M. Pinna, On Reversibility and Petri Nets, FoSSaCS 2026, Springer.
H. Melgratti, C.A. Mezzina, G.M. Pinna, Encoding Reversible Petri Nets into CCSK, C.O.R.S.E. 2026, Springer.
I. Lanese, C.A. Mezzina, M. Vassor, Bounded Reversibility in HO, C.O.R.S.E. 2026, Springer.
A. Aldini, D. Fazio, P. Graziani, R. Mascella, M. Tagliaferri, On group secrets and the metacommunicative aspects of revealing a true secret, CIFMA 2024, Springer.
P. Quaresma, P. Graziani, Towards A Readability Criterion for Humans and Machines, CIFMA 2024, Springer.
F. Dal Pio Luogo, C.A. Mezzina, G.M. Pinna, Model Checking Reversible Systems: Forwardly, RC 2024, Springer.
S. Bonzio, J. Gil-Férez, P. Jipsen, A. Prenosil, M. Sugimoto, On the structure of balanced residuated partially ordered monoids, RAMiCS 2024, Springer.
M. Bartoletti, S. Bonzio, M. Ferrara, Certified algorithms for numerical semigroups in Rocq, CICM 2025, Springer.
Book chapters.
A. Bucciarelli, A. Ledda, F. Paoli, A. Salibra, Boolean-like algebras of finite dimension: from Boolean products to semiring products, Outstanding Contributions to Logic, Springer 2024.
I. Chajda, D. Fazio, H. Länger, A. Ledda, J. Paseka, Implication in sharply paraorthomodular and relatively paraorthomodular posets, Outstanding Contributions to Logic, Springer 2024.
Papers under Review.
I. Chajda, A. Ledda, J. Paseka, G. Vergottini, N. Zamperlin, Knowledge and ignorance in quantum reasoning, Under review.
F. Paoli, G. Vergottini, N. Zamperlin, D. Fazio, On Bochvar algebras and regular double Stone algebras, Under review.
F. Paoli, D. Szmuc, M. Zirattu, The algebra of analytic containment, Forthcoming.
B. Dicher, F. Paoli, Logical metainferentialism, Ergo, forthcoming.
F. Paoli, Semantics for McCall's CC1, Under review.
F. Paoli, D. Szmuc, A. Borzi, M. Zirattu, Varieties of De Morgan bisemilattices, Under review.
S. Bonzio, R. Giuntini, F. Paoli, G. St. John, Residuated McCarthy algebras, In preparation.
N. Galatos, V. Greati, R. Ramanayake, G. St. John, Lower complexity bounds for knotted substructural logics via counter machines, Submitted 2025.
N. Galatos, V. Greati, R. Ramanayake, G. St. John, Complexity bounds for commutative knotted substructural logics via proof theory, Submitted 2025.
D. Henrion, M. Infusino, S. Kuhlmann, V. Vinnikov, Infinite-dimensional moment-SOS hierarchy for nonlinear partial differential equations, Submitted.
M. Infusino, L. Onnis, Random walk across the boundaries of spheres in R^d, Submitted.
A. Loi, R. Mossa, F. Zuddas, Universal embeddings of flag manifolds and rigidity phenomena, arXiv:2507.23606.
A. Loi, R. Mossa, F. Zuddas, On the Bergman metric for Cartan-Hartogs domains, arXiv:2510.06405.
A. Loi, R. Mossa, F. Zuddas, Kaehler duality and projective embeddings, arXiv:2409.13263.
A. Loi, R. Mossa, F. Zuddas, The polydisk theorem for Hartogs domains over symmetric domains, arXiv:2511.10122.
M. Damele, A. Loi, M. Mereb, L. Vendramin, Galois' Professor's Revenge, arXiv:2509.09662.
A. Loi, M. Palmieri, On the Bergman metric of symmetric spaces, arXiv:2601.15020.