Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFrancesco Paoli
- > Home > Persons > Francesco Paoli
Publications
- 2024
[j45]Davide Fazio, Antonio Ledda, Francesco Paoli:
Intuitionistic Logic is a Connexive Logic. Stud Logica 112(1): 95-139 (2024)- 2023
- [j43]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
- [i2]Antonio Bucciarelli, Antonio Ledda, Francesco Paoli, Antonino Salibra:
Sequent calculi of finite dimension. CoRR abs/2204.00435 (2022) - 2021
- [j41]Davide Fazio, Antonio Ledda, Francesco Paoli:
Residuated Structures and Orthomodular Lattices. Stud Logica 109(6): 1201-1239 (2021) - 2019
- [j37]Antonio Ledda, Francesco Paoli, Michele Pra Baldi:
Algebraic Analysis of Demodalised Analytic Implication. J. Philos. Log. 48(6): 957-979 (2019) - 2018
- [i1]Antonio Bucciarelli, Antonio Ledda, Francesco Paoli, Antonino Salibra:
Boolean-like algebras of finite dimension. CoRR abs/1806.06537 (2018) - 2017
- [j34]Antonino Salibra, Antonio Ledda, Francesco Paoli:
Factor varieties. Soft Comput. 21(6): 1443-1454 (2017) - 2016
- [j33]Roberto Giuntini, Antonio Ledda, Francesco Paoli:
A New View of Effects in a Hilbert Space. Stud Logica 104(6): 1145-1177 (2016) - 2015
- [j32]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
- [j31]Tomasz Kowalski, Antonio Ledda, Francesco Paoli:
Quasi-subtractive varieties: Open filters, congruences and the commutator. Log. J. IGPL 22(6): 844-871 (2014) - [j30]Francesco Paoli, Antonio Ledda, Tomasz Kowalski, Matthew Spinks:
Quasi-discriminator varieties. Int. J. Algebra Comput. 24(3): 375- (2014) - 2013
- [j28]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) - [c2]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 - [c1]Antonio Ledda, Tomasz Kowalski, Francesco Paoli, Antonino Salibra:
Boolean like algebras. TACL 2013: 141-144 - 2011
- [j26]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) - [j24]Antonio Ledda, Tomasz Kowalski, Francesco Paoli:
On Certain Quasivarieties of Quasi-MV Algebras. Stud Logica 98(1-2): 149-174 (2011) - 2010
- [j23]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) - [j22]Roberto Giuntini, Francesco Paoli, Antonio Ledda:
Categorical Equivalences for sqrt(') quasi-MV Algebras. J. Log. Comput. 20(4): 795-810 (2010) - [j20]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) - 2009
- [j19]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) - [j18]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) - [j17]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
- [j15]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
- [j14]Roberto Giuntini, Antonio Ledda, Francesco Paoli:
Expanding Quasi-MV Algebras by a Quantum Operator. Stud Logica 87(1): 99-128 (2007) - 2006
- [j13]Antonio Ledda, Martinvaldo Konig, Francesco Paoli, Roberto Giuntini:
MV-Algebras and Quantum Computation. Stud Logica 82(2): 245-270 (2006)
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-04-21 18:29 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:
