default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAntonio Ledda
Person information
- affiliation: University of Cagliari, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j32]Davide Fazio, Antonio Ledda, Francesco Paoli:
Intuitionistic Logic is a Connexive Logic. Stud Logica 112(1-2): 95-139 (2024)- [c5]Claudio Rubattu, Antonio Ledda, Francesco Ratto, Chaitanya Jugade, Dip Goswami, Francesca Palumbo:
FPGA-based Implementation for Industrial Motion Control System. IPDPS (Workshops) 2024: 141-147 - 2023
- [j31]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): 47-89 (2023) - [j30]Davide Fazio, Antonio Ledda, Francesco Paoli, Gavin St. John:
A Substructural Gentzen Calculus for Orthomodular quantum Logic. Rev. Symb. Log. 16(4): 1177-1198 (2023) - 2022
- [j29]Ivan Chajda, Davide Fazio, Helmut Länger, Antonio Ledda, Jan Paseka:
Algebraic Properties of Paraorthomodular Posets. Log. J. IGPL 30(5): 840-869 (2022) - [i2]Antonio Bucciarelli, Antonio Ledda, Francesco Paoli, Antonino Salibra:
Sequent calculi of finite dimension. CoRR abs/2204.00435 (2022) - 2021
- [j28]Davide Fazio, Antonio Ledda, Francesco Paoli:
Residuated Structures and Orthomodular Lattices. Stud Logica 109(6): 1201-1239 (2021) - [c4]Andrea De Montis, Giovanna Calia, Valentina Puddu, Antonio Ledda:
Designing Green Infrastructure Guidelines: A Methodological Approach. SMARTGREENS 2021: 156-163 - 2020
- [j27]Ivan Chajda, Davide Fazio, Antonio Ledda:
The generalized orthomodularity property: configurations and pastings. J. Log. Comput. 30(5): 991-1022 (2020)
2010 – 2019
- 2019
- [j26]Antonio Ledda, Francesco Paoli, Michele Pra Baldi:
Algebraic Analysis of Demodalised Analytic Implication. J. Philos. Log. 48(6): 957-979 (2019) - [j25]Ivan Chajda, Davide Fazio, Antonio Ledda:
A semiring-like representation of lattice pseudoeffect algebras. Soft Comput. 23(5): 1465-1475 (2019) - 2018
- [j24]Ivan Chajda, Davide Fazio, Antonio Ledda:
On the structure theory of Łukasiewicz near semirings. Log. J. IGPL 26(1): 14-28 (2018) - [j23]Antonio Ledda:
Stone-Type Representations and Dualities for Varieties of Bisemilattices. Stud Logica 106(2): 417-448 (2018) - [i1]Antonio Bucciarelli, Antonio Ledda, Francesco Paoli, Antonino Salibra:
Boolean-like algebras of finite dimension. CoRR abs/1806.06537 (2018) - 2017
- [j22]Giuseppe Sergioli, Antonio Ledda:
A note on many valued quantum computational logics. Soft Comput. 21(6): 1391-1400 (2017) - [j21]Antonino Salibra, Antonio Ledda, Francesco Paoli:
Factor varieties. Soft Comput. 21(6): 1443-1454 (2017) - 2016
- [j20]Stefano Bonzio, Ivan Chajda, Antonio Ledda:
Representing quantum structures as near semirings. Log. J. IGPL 24(5): 719-742 (2016) - [j19]Roberto Giuntini, Antonio Ledda, Francesco Paoli:
A New View of Effects in a Hilbert Space. Stud Logica 104(6): 1145-1177 (2016) - [j18]Stefano Bonzio, Ivan Chajda, Antonio Ledda:
Orthogonal relational systems. Soft Comput. 20(11): 4403-4411 (2016) - 2015
- [j17]Ivan Chajda, José Gil-Férez, Roberto Giuntini, Miroslav Kolarík, Antonio Ledda, Francesco Paoli:
On some properties of directoids. Soft Comput. 19(4): 955-964 (2015) - 2014
- [j16]Tomasz Kowalski, Antonio Ledda, Francesco Paoli:
Quasi-subtractive varieties: Open filters, congruences and the commutator. Log. J. IGPL 22(6): 844-871 (2014) - [j15]Francesco Paoli, Antonio Ledda, Tomasz Kowalski, Matthew Spinks:
Quasi-discriminator varieties. Int. J. Algebra Comput. 24(3): 375- (2014) - 2013
- [j14]Maria Luisa Dalla Chiara, Antonio Ledda, Giuseppe Sergioli, Roberto Giuntini:
The Toffoli-Hadamard Gate System: an Algebraic Approach. J. Philos. Log. 42(3): 467-481 (2013) - [j13]Peter Jipsen, Antonio Ledda, Francesco Paoli:
On some properties of quasi-MV algebras and √' quasi-MV algebras. Part IV. Reports Math. Log. 48: 3-36 (2013) - [c3]Roberto Giuntini, Francesco Paoli, Hector Freytes, Antonio Ledda, Giuseppe Sergioli:
What Is Fuzzy Logic - And Why It Matters to Us. On Fuzziness (1) 2013: 211-215 - [c2]José Gil-Férez, Antonio Ledda, Constantine Tsinakis:
Laterally complete and projective hulls of semilinear residuated lattices. TACL 2013: 80-81 - [c1]Antonio Ledda, Tomasz Kowalski, Francesco Paoli, Antonino Salibra:
Boolean like algebras. TACL 2013: 141-144 - 2011
- [j12]Majid Alizadeh, Antonio Ledda, Hector Freytes:
Completion and amalgamation of bounded distributive quasi lattices. Log. J. IGPL 19(1): 110-120 (2011) - [j11]Roberto Giuntini, Antonio Ledda, Giuseppe Sergioli, Francesco Paoli:
Some generalizations of fuzzy structures in quantum computational logic. Int. J. Gen. Syst. 40(1): 61-83 (2011) - [j10]Antonio Ledda, Tomasz Kowalski, Francesco Paoli:
On Certain Quasivarieties of Quasi-MV Algebras. Stud Logica 98(1-2): 149-174 (2011) - 2010
- [j9]Félix Bou, Francesco Paoli, Antonio Ledda, Matthew Spinks, Roberto Giuntini:
The Logic of Quasi-MV Algebras. J. Log. Comput. 20(2): 619-643 (2010) - [j8]Roberto Giuntini, Francesco Paoli, Antonio Ledda:
Categorical Equivalences for sqrt(') quasi-MV Algebras. J. Log. Comput. 20(4): 795-810 (2010) - [j7]Tomasz Kowalski, Francesco Paoli, Roberto Giuntini, Antonio Ledda:
The Lattice of Subvarieties of $${\sqrt{\prime}}$$ quasi-MV Algebras. Stud Logica 95(1-2): 37-61 (2010)
2000 – 2009
- 2009
- [j6]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): 1082-1098 (2009) - [j5]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): 3645-3658 (2009) - [j4]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: 31-63 (2009) - 2008
- [j3]Félix Bou, Francesco Paoli, Antonio Ledda, Hector Freytes:
On some properties of quasi-MV algebras and Ö{cent}\sqrt{^{\prime}} quasi-MV algebras. Part II. Soft Comput. 12(4): 341-352 (2008) - 2007
- [j2]Roberto Giuntini, Antonio Ledda, Francesco Paoli:
Expanding Quasi-MV Algebras by a Quantum Operator. Stud Logica 87(1): 99-128 (2007) - 2006
- [j1]Antonio Ledda, Martinvaldo Konig, Francesco Paoli, Roberto Giuntini:
MV-Algebras and Quantum Computation. Stud Logica 82(2): 245-270 (2006)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
