Antonio Ledda

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 19

Top Topics

Intuitionistic Logic

Algebraic Properties

Top Venues

Publications

Davide Fazio, Antonio Ledda, Francesco Paoli
Intuitionistic Logic is a Connexive Logic. Stud Logica 112 (1-2) (2024)
Claudio Rubattu, Antonio Ledda, Francesco Ratto, Chaitanya Jugade, Dip Goswami, Francesca Palumbo
FPGA-based Implementation for Industrial Motion Control System. IPDPS (Workshops) (2024)
Davide Fazio, Antonio Ledda, Francesco Paoli, Gavin St. John
A Substructural Gentzen Calculus for Orthomodular quantum Logic. Rev. Symb. Log. 16 (4) (2023)
Ivan Chajda, Kadir Emir, Davide Fazio, Helmut Länger, Antonio Ledda, Jan Paseka
An algebraic analysis of implication in non-distributive logics. J. Log. Comput. 33 (1) (2023)
Antonio Bucciarelli, Antonio Ledda, Francesco Paoli, Antonino Salibra
Sequent calculi of finite dimension. CoRR (2022)
Ivan Chajda, Davide Fazio, Helmut Länger, Antonio Ledda, Jan Paseka
Algebraic Properties of Paraorthomodular Posets. Log. J. IGPL 30 (5) (2022)
Andrea De Montis, Giovanna Calia, Valentina Puddu, Antonio Ledda
Designing Green Infrastructure Guidelines: A Methodological Approach. SMARTGREENS (2021)
Davide Fazio, Antonio Ledda, Francesco Paoli
Residuated Structures and Orthomodular Lattices. Stud Logica 109 (6) (2021)
Ivan Chajda, Davide Fazio, Antonio Ledda
The generalized orthomodularity property: configurations and pastings. J. Log. Comput. 30 (5) (2020)
Ivan Chajda, Davide Fazio, Antonio Ledda
A semiring-like representation of lattice pseudoeffect algebras. Soft Comput. 23 (5) (2019)
Antonio Ledda, Francesco Paoli, Michele Pra Baldi
Algebraic Analysis of Demodalised Analytic Implication. J. Philos. Log. 48 (6) (2019)
Antonio Bucciarelli, Antonio Ledda, Francesco Paoli, Antonino Salibra
Boolean-like algebras of finite dimension. CoRR (2018)
Antonio Ledda
Stone-Type Representations and Dualities for Varieties of Bisemilattices. Stud Logica 106 (2) (2018)
Ivan Chajda, Davide Fazio, Antonio Ledda
On the structure theory of Łukasiewicz near semirings. Log. J. IGPL 26 (1) (2018)
Antonino Salibra, Antonio Ledda, Francesco Paoli
Factor varieties. Soft Comput. 21 (6) (2017)
Giuseppe Sergioli, Antonio Ledda
A note on many valued quantum computational logics. Soft Comput. 21 (6) (2017)
Stefano Bonzio, Ivan Chajda, Antonio Ledda
Representing quantum structures as near semirings. Log. J. IGPL 24 (5) (2016)
Stefano Bonzio, Ivan Chajda, Antonio Ledda
Orthogonal relational systems. Soft Comput. 20 (11) (2016)
Roberto Giuntini, Antonio Ledda, Francesco Paoli
A New View of Effects in a Hilbert Space. Stud Logica 104 (6) (2016)
Ivan Chajda, José Gil-Férez, Roberto Giuntini, Miroslav Kolarík, Antonio Ledda, Francesco Paoli
On some properties of directoids. Soft Comput. 19 (4) (2015)
Francesco Paoli, Antonio Ledda, Tomasz Kowalski, Matthew Spinks
Quasi-discriminator varieties. Int. J. Algebra Comput. 24 (3) (2014)
Tomasz Kowalski, Antonio Ledda, Francesco Paoli
Quasi-subtractive varieties: Open filters, congruences and the commutator. Log. J. IGPL 22 (6) (2014)
Maria Luisa Dalla Chiara, Antonio Ledda, Giuseppe Sergioli, Roberto Giuntini
The Toffoli-Hadamard Gate System: an Algebraic Approach. J. Philos. Log. 42 (3) (2013)
José Gil-Férez, Antonio Ledda, Constantine Tsinakis
Laterally complete and projective hulls of semilinear residuated lattices. TACL (2013)
Roberto Giuntini, Francesco Paoli, Hector Freytes, Antonio Ledda, Giuseppe Sergioli
What Is Fuzzy Logic - And Why It Matters to Us. On Fuzziness (1) (2013)
Antonio Ledda, Tomasz Kowalski, Francesco Paoli, Antonino Salibra
Boolean like algebras. TACL (2013)
Peter Jipsen, Antonio Ledda, Francesco Paoli
On some properties of quasi-MV algebras and √' quasi-MV algebras. Part IV. Reports Math. Log. 48 (2013)
Antonio Ledda, Tomasz Kowalski, Francesco Paoli
On Certain Quasivarieties of Quasi-MV Algebras. Stud Logica 98 (1-2) (2011)
Majid Alizadeh, Antonio Ledda, Hector Freytes
Completion and amalgamation of bounded distributive quasi lattices. Log. J. IGPL 19 (1) (2011)
Roberto Giuntini, Antonio Ledda, Giuseppe Sergioli, Francesco Paoli
Some generalizations of fuzzy structures in quantum computational logic. Int. J. Gen. Syst. 40 (1) (2011)
Roberto Giuntini, Francesco Paoli, Antonio Ledda
Categorical Equivalences for sqrt(') quasi-MV Algebras. J. Log. Comput. 20 (4) (2010)
Tomasz Kowalski, Francesco Paoli, Roberto Giuntini, Antonio Ledda
The Lattice of Subvarieties of $${\sqrt{\prime}}$$ quasi-MV Algebras. Stud Logica 95 (1-2) (2010)
Félix Bou, Francesco Paoli, Antonio Ledda, Matthew Spinks, Roberto Giuntini
The Logic of Quasi-MV Algebras. J. Log. Comput. 20 (2) (2010)
Giuseppe Sergioli, Antonio Ledda, Francesco Paoli, Roberto Giuntini, Tomasz Kowalski, Franco Montagna, Hector Freytes, Claudio Marini
Two cooperative versions of the Guessing Secrets problem. Inf. Sci. 179 (20) (2009)
Francesco Paoli, Antonio Ledda, Roberto Giuntini, Hector Freytes
On some properties of quasi-MV algebras and $\sqrt{^{\prime }}$ quasi-MV algebras. Reports Math. Log. 44 (2009)
Roberto Giuntini, Hector Freytes, Antonio Ledda, Francesco Paoli
A discriminator variety of Gödel algebras with operators arising in quantum computation. Fuzzy Sets Syst. 160 (8) (2009)
Félix Bou, Francesco Paoli, Antonio Ledda, Hector Freytes
}\sqrt{^{\prime}} quasi-MV algebras. Part II. Soft Comput. 12 (4) (2008)
Roberto Giuntini, Antonio Ledda, Francesco Paoli
Expanding Quasi-MV Algebras by a Quantum Operator. Stud Logica 87 (1) (2007)
Antonio Ledda, Martinvaldo Konig, Francesco Paoli, Roberto Giuntini
MV-Algebras and Quantum Computation. Stud Logica 82 (2) (2006)