Antonio Ledda

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