We stand with Ukraine

We stand with Ukraine

Antonio Ledda

Orcid: 0000-0003-2351-5544

Affiliations:

University of Cagliari, Italy

According to our database¹, Antonio Ledda authored at least 39 papers between 2006 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

Online presence:

On csauthors.net:

Bibliography

2024

Intuitionistic Logic is a Connexive Logic.

[BibT_eX]

[DOI]

,

,

Francesco Paoli

Stud Logica, April, 2024

FPGA-based Implementation for Industrial Motion Control System.

[BibT_eX]

[DOI]

Claudio Rubattu

,

,

Francesco Ratto

,

Chaitanya Jugade

,

,

Francesca Palumbo

Proceedings of the IEEE International Parallel and Distributed Processing Symposium, 2024

2023

A Substructural Gentzen Calculus for Orthomodular quantum Logic.

[BibT_eX]

[DOI]

,

,

Francesco Paoli

,

Rev. Symb. Log., December, 2023

An algebraic analysis of implication in non-distributive logics.

[BibT_eX]

[DOI]

,

,

,

,

,

J. Log. Comput., January, 2023

2022

Algebraic Properties of Paraorthomodular Posets.

[BibT_eX]

[DOI]

,

,

,

,

Log. J. IGPL, 2022

Sequent calculi of finite dimension.

[BibT_eX]

[DOI]

Antonio Bucciarelli

,

,

Francesco Paoli

,

Antonino Salibra

CoRR, 2022

2021

Residuated Structures and Orthomodular Lattices.

[BibT_eX]

[DOI]

,

,

Francesco Paoli

Stud Logica, 2021

Designing Green Infrastructure Guidelines: A Methodological Approach.

[BibT_eX]

[DOI]

Andrea De Montis

,

,

Valentina Puddu

,

Proceedings of the 10th International Conference on Smart Cities and Green ICT Systems, 2021

2020

The generalized orthomodularity property: configurations and pastings.

[BibT_eX]

[DOI]

,

,

J. Log. Comput., 2020

2019

A semiring-like representation of lattice pseudoeffect algebras.

[BibT_eX]

[DOI]

,

,

Soft Comput., 2019

Algebraic Analysis of Demodalised Analytic Implication.

[BibT_eX]

[DOI]

,

Francesco Paoli

,

Michele Pra Baldi

J. Philos. Log., 2019

2018

Stone-Type Representations and Dualities for Varieties of Bisemilattices.

[BibT_eX]

[DOI]

Stud Logica, 2018

On the structure theory of Łukasiewicz near semirings.

[BibT_eX]

[DOI]

,

,

Log. J. IGPL, 2018

Boolean-like algebras of finite dimension.

[BibT_eX]

[DOI]

Antonio Bucciarelli

,

,

Francesco Paoli

,

Antonino Salibra

CoRR, 2018

2017

A note on many valued quantum computational logics.

[BibT_eX]

[DOI]

Giuseppe Sergioli

,

Soft Comput., 2017

Factor varieties.

[BibT_eX]

[DOI]

Antonino Salibra

,

,

Francesco Paoli

Soft Comput., 2017

2016

Orthogonal relational systems.

[BibT_eX]

[DOI]

,

,

Soft Comput., 2016

A New View of Effects in a Hilbert Space.

[BibT_eX]

[DOI]

Roberto Giuntini

,

,

Francesco Paoli

Stud Logica, 2016

Representing quantum structures as near semirings.

[BibT_eX]

[DOI]

,

,

Log. J. IGPL, 2016

2015

On some properties of directoids.

[BibT_eX]

[DOI]

,

José Gil-Férez

,

Roberto Giuntini

,

Miroslav Kolarík

,

,

Francesco Paoli

Soft Comput., 2015

2014

Quasi-discriminator varieties.

[BibT_eX]

[DOI]

Francesco Paoli

,

,

Tomasz Kowalski

,

Int. J. Algebra Comput., 2014

Quasi-subtractive varieties: Open filters, congruences and the commutator.

[BibT_eX]

[DOI]

Tomasz Kowalski

,

,

Francesco Paoli

Log. J. IGPL, 2014

2013

On some properties of quasi-MV algebras and √' quasi-MV algebras. Part IV.

[BibT_eX]

[DOI]

,

,

Francesco Paoli

Reports Math. Log., 2013

The Toffoli-Hadamard Gate System: an Algebraic Approach.

[BibT_eX]

[DOI]

Maria Luisa Dalla Chiara

,

,

Giuseppe Sergioli

,

Roberto Giuntini

J. Philos. Log., 2013

Boolean like algebras.

[BibT_eX]

[DOI]

,

Tomasz Kowalski

,

Francesco Paoli

,

Antonino Salibra

Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

Laterally complete and projective hulls of semilinear residuated lattices.

[BibT_eX]

[DOI]

José Gil-Férez

,

,

Constantine Tsinakis

Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

What Is Fuzzy Logic - And Why It Matters to Us.

[BibT_eX]

[DOI]

Roberto Giuntini

,

Francesco Paoli

,

,

,

Giuseppe Sergioli

Proceedings of the On Fuzziness - A Homage to Lotfi A. Zadeh - Volume 1, 2013

2011

On Certain Quasivarieties of Quasi-MV Algebras.

[BibT_eX]

[DOI]

,

Tomasz Kowalski

,

Francesco Paoli

Stud Logica, 2011

Some generalizations of fuzzy structures in quantum computational logic.

[BibT_eX]

[DOI]

Roberto Giuntini

,

,

Giuseppe Sergioli

,

Francesco Paoli

Int. J. Gen. Syst., 2011

Completion and amalgamation of bounded distributive quasi lattices.

[BibT_eX]

[DOI]

,

,

Log. J. IGPL, 2011

2010

The Lattice of Subvarieties of $${\sqrt{\prime}}$$ quasi-MV Algebras.

[BibT_eX]

[DOI]

Tomasz Kowalski

,

Francesco Paoli

,

Roberto Giuntini

,

Stud Logica, 2010

Categorical Equivalences for sqrt(') quasi-MV Algebras.

[BibT_eX]

[DOI]

Roberto Giuntini

,

Francesco Paoli

,

J. Log. Comput., 2010

The Logic of Quasi-MV Algebras.

[BibT_eX]

[DOI]

,

Francesco Paoli

,

,

,

Roberto Giuntini

J. Log. Comput., 2010

2009

On some properties of quasi-MV algebras and $\sqrt{^{\prime }}$ quasi-MV algebras.

[BibT_eX]

[DOI]

Francesco Paoli

,

,

Roberto Giuntini

,

Reports Math. Log., 2009

Two cooperative versions of the Guessing Secrets problem.

[BibT_eX]

[DOI]

Giuseppe Sergioli

,

,

Francesco Paoli

,

Roberto Giuntini

,

Tomasz Kowalski

,

Franco Montagna

,

,

Inf. Sci., 2009

A discriminator variety of Gödel algebras with operators arising in quantum computation.

[BibT_eX]

[DOI]

Roberto Giuntini

,

,

,

Francesco Paoli

Fuzzy Sets Syst., 2009

2008

On some properties of quasi-MV algebras and Ö{<sup>cent</sup>}\sqrt{^{\prime}} quasi-MV algebras. Part II.

[BibT_eX]

[DOI]

,

Francesco Paoli

,

,

Soft Comput., 2008

2007

Expanding Quasi-MV Algebras by a Quantum Operator.

[BibT_eX]

[DOI]

Roberto Giuntini

,

,

Francesco Paoli

Stud Logica, 2007

2006

MV-Algebras and Quantum Computation.

[BibT_eX]

[DOI]

,

Martinvaldo Konig

,

Francesco Paoli

,

Roberto Giuntini

Stud Logica, 2006

Loading...