MV-Algebras and Quantum Computation. - Antonio Ledda; Martinvaldo Konig; Francesco Paoli; Roberto Giuntini (Stud Logica, 2006)

Expanding Quasi-MV Algebras by a Quantum Operator. - Roberto Giuntini; Antonio Ledda; Francesco Paoli (Stud Logica, 2007)

On some properties of quasi-MV algebras and Ö{cent} sqrt{^{ prime}} quasi-MV algebras. Part II. - Félix Bou; Francesco Paoli; Antonio Ledda; Hector Freytes (Soft Comput., 2008)

A discriminator variety of Gödel algebras with operators arising in quantum computation. - Roberto Giuntini; Hector Freytes; Antonio Ledda; Francesco Paoli (Fuzzy Sets Syst., 2009)

Two cooperative versions of the Guessing Secrets problem. - Giuseppe Sergioli; Antonio Ledda; Francesco Paoli; Roberto Giuntini; Tomasz Kowalski; Franco Montagna; Hector Freytes; Claudio Marini (Inf. Sci., 2009)

On some properties of quasi-MV algebras and $ sqrt{^{ prime }}$ quasi-MV algebras. - Francesco Paoli; Antonio Ledda; Roberto Giuntini; Hector Freytes (Reports Math. Log., 2009)

The Logic of Quasi-MV Algebras. - Félix Bou; Francesco Paoli; Antonio Ledda; Matthew Spinks; Roberto Giuntini (J. Log. Comput., 2010)

Categorical Equivalences for sqrt(') quasi-MV Algebras. - Roberto Giuntini; Francesco Paoli; Antonio Ledda (J. Log. Comput., 2010)

The Lattice of Subvarieties of $${ sqrt{ prime}}$$ quasi-MV Algebras. - Tomasz Kowalski; Francesco Paoli; Roberto Giuntini; Antonio Ledda (Stud Logica, 2010)

Completion and amalgamation of bounded distributive quasi lattices. - Majid Alizadeh; Antonio Ledda; Hector Freytes (Log. J. IGPL, 2011)

Some generalizations of fuzzy structures in quantum computational logic. - Roberto Giuntini; Antonio Ledda; Giuseppe Sergioli; Francesco Paoli (Int. J. Gen. Syst., 2011)

On Certain Quasivarieties of Quasi-MV Algebras. - Antonio Ledda; Tomasz Kowalski; Francesco Paoli (Stud Logica, 2011)

What Is Fuzzy Logic - And Why It Matters to Us. - Roberto Giuntini; Francesco Paoli; Hector Freytes; Antonio Ledda; Giuseppe Sergioli (On Fuzziness (1), 2013)

Laterally complete and projective hulls of semilinear residuated lattices. - José Gil-Férez; Antonio Ledda; Constantine Tsinakis (TACL, 2013)

Boolean like algebras. - Antonio Ledda; Tomasz Kowalski; Francesco Paoli; Antonino Salibra (TACL, 2013)

The Toffoli-Hadamard Gate System: an Algebraic Approach. - Maria Luisa Dalla Chiara; Antonio Ledda; Giuseppe Sergioli; Roberto Giuntini (J. Philos. Log., 2013)

On some properties of quasi-MV algebras and √' quasi-MV algebras. Part IV. - Peter Jipsen; Antonio Ledda; Francesco Paoli (Reports Math. Log., 2013)

Quasi-subtractive varieties: Open filters, congruences and the commutator. - Tomasz Kowalski; Antonio Ledda; Francesco Paoli (Log. J. IGPL, 2014)

Quasi-discriminator varieties. - Francesco Paoli; Antonio Ledda; Tomasz Kowalski; Matthew Spinks (Int. J. Algebra Comput., 2014)

On some properties of directoids. - Ivan Chajda; José Gil-Férez; Roberto Giuntini; Miroslav Kolarík; Antonio Ledda; Francesco Paoli (Soft Comput., 2015)

Representing quantum structures as near semirings. - Stefano Bonzio; Ivan Chajda; Antonio Ledda (Log. J. IGPL, 2016)

A New View of Effects in a Hilbert Space. - Roberto Giuntini; Antonio Ledda; Francesco Paoli (Stud Logica, 2016)

Orthogonal relational systems. - Stefano Bonzio; Ivan Chajda; Antonio Ledda (Soft Comput., 2016)

Factor varieties. - Antonino Salibra; Antonio Ledda; Francesco Paoli (Soft Comput., 2017)

A note on many valued quantum computational logics. - Giuseppe Sergioli; Antonio Ledda (Soft Comput., 2017)

Boolean-like algebras of finite dimension. - Antonio Bucciarelli; Antonio Ledda; Francesco Paoli; Antonino Salibra (CoRR, 2018)

On the structure theory of Łukasiewicz near semirings. - Ivan Chajda; Davide Fazio; Antonio Ledda (Log. J. IGPL, 2018)

Stone-Type Representations and Dualities for Varieties of Bisemilattices. - Antonio Ledda (Stud Logica, 2018)

Algebraic Analysis of Demodalised Analytic Implication. - Antonio Ledda; Francesco Paoli; Michele Pra Baldi (J. Philos. Log., 2019)

A semiring-like representation of lattice pseudoeffect algebras. - Ivan Chajda; Davide Fazio; Antonio Ledda (Soft Comput., 2019)

The generalized orthomodularity property: configurations and pastings. - Ivan Chajda; Davide Fazio; Antonio Ledda (J. Log. Comput., 2020)

Designing Green Infrastructure Guidelines: A Methodological Approach. - Andrea De Montis; Giovanna Calia; Valentina Puddu; Antonio Ledda (SMARTGREENS, 2021)

Residuated Structures and Orthomodular Lattices. - Davide Fazio; Antonio Ledda; Francesco Paoli (Stud Logica, 2021)

Sequent calculi of finite dimension. - Antonio Bucciarelli; Antonio Ledda; Francesco Paoli; Antonino Salibra (CoRR, 2022)

Algebraic Properties of Paraorthomodular Posets. - Ivan Chajda; Davide Fazio; Helmut Länger; Antonio Ledda; Jan Paseka (Log. J. IGPL, 2022)

An algebraic analysis of implication in non-distributive logics. - Ivan Chajda; Kadir Emir; Davide Fazio; Helmut Länger; Antonio Ledda; Jan Paseka (J. Log. Comput., 2023)

A Substructural Gentzen Calculus for Orthomodular quantum Logic. - Davide Fazio; Antonio Ledda; Francesco Paoli; Gavin St. John (Rev. Symb. Log., 2023)

FPGA-based Implementation for Industrial Motion Control System. - Claudio Rubattu; Antonio Ledda; Francesco Ratto; Chaitanya Jugade; Dip Goswami; Francesca Palumbo (IPDPS (Workshops), 2024)

Intuitionistic Logic is a Connexive Logic. - Davide Fazio; Antonio Ledda; Francesco Paoli (Stud Logica, 2024)

The higher dimensional propositional calculus. - Antonio Bucciarelli; Pierre-Louis Curien; Antonio Ledda; Francesco Paoli; Antonino Salibra (Log. J. IGPL, 2025)

Tense logics based on posets. - Ivan Chajda; Helmut Länger; Antonio Ledda; Jan Paseka; Gandolfo Vergottini (J. Log. Comput., 2025)

Unsharp residuation in posets. - Ivan Chajda; Antonio Ledda; Jan Paseka; Gandolfo Vergottini (Fuzzy Sets Syst., 2026)