default search action
Francesco Paoli
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j46]Francesco Paoli, Adam Prenosil:
Sequent Calculi for First-order rmST. J. Philos. Log. 53(5): 1291-1320 (2024) - [j45]Davide Fazio, Antonio Ledda, Francesco Paoli:
Intuitionistic Logic is a Connexive Logic. Stud Logica 112(1-2): 95-139 (2024) - 2023
- [j44]Roberto Giuntini, Claudia Muresan
, Francesco Paoli:
Semiorthomodular BZ⁎-lattices. Fuzzy Sets Syst. 463: 108472 (2023) - [j43]Davide Fazio
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
- [j42]Francesco Paoli, Michele Pra Baldi:
Extensions of paraconsistent weak Kleene logic. Log. J. IGPL 29(5): 798-822 (2021) - [j41]Davide Fazio
Residuated Structures and Orthomodular Lattices. Stud Logica 109(6): 1201-1239 (2021) - [j40]Bogdan Dicher
The original sin of proof-theoretic semantics. Synth. 198(1): 615-640 (2021) - 2020
- [j39]Roberto Giuntini, Claudia Muresan, Francesco Paoli:
PBZ*-lattices: Structure theory and subvarieties. Reports Math. Log. 55: 3-39 (2020) - [j38]Francesco Paoli, Michele Pra Baldi:
Proof Theory of Paraconsistent Weak Kleene Logic. Stud Logica 108(4): 779-802 (2020)
2010 – 2019
- 2019
- [j37]Antonio Ledda, Francesco Paoli, Michele Pra Baldi:
Algebraic Analysis of Demodalised Analytic Implication. J. Philos. Log. 48(6): 957-979 (2019) - [j36]Petr Cintula, José Gil-Férez
An Abstract Approach to Consequence Relations. Rev. Symb. Log. 12(2): 331-371 (2019) - 2018
- [i1]Antonio Bucciarelli, Antonio Ledda, Francesco Paoli, Antonino Salibra:
Boolean-like algebras of finite dimension. CoRR abs/1806.06537 (2018) - 2017
- [j35]Stefano Bonzio
On Paraconsistent Weak Kleene Logic: Axiomatisation and Algebraic Analysis. Stud Logica 105(2): 253-297 (2017) - [j34]Antonino Salibra
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
On some properties of directoids. Soft Comput. 19(4): 955-964 (2015) - 2014
- [j31]Tomasz Kowalski
Quasi-subtractive varieties: Open filters, congruences and the commutator. Log. J. IGPL 22(6): 844-871 (2014) - [j30]Francesco Paoli, Antonio Ledda
Quasi-discriminator varieties. Int. J. Algebra Comput. 24(3): 375- (2014) - [j29]Edwin D. Mares
Logical Consequence and the Paradoxes. J. Philos. Log. 43(2-3): 439-469 (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
Boolean like algebras. TACL 2013: 141-144 - [p1]Francesco Paoli:
A Paraconsistent and Substructural Conditional Logic. Paraconsistency: Logic and Applications 2013: 173-198 - [e1]Koji Tanaka, Francesco Berto
Paraconsistency: Logic and Applications. Logic, Epistemology, and the Unity of Science 26, Springer 2013, ISBN 978-94-007-4437-0 [contents] - 2012
- [j27]Francesco Paoli, Constantine Tsinakis:
On Birkhoff's Common Abstraction Problem. Stud Logica 100(6): 1079-1105 (2012) - 2011
- [j26]Roberto Giuntini
Some generalizations of fuzzy structures in quantum computational logic. Int. J. Gen. Syst. 40(1): 61-83 (2011) - [j25]Tomasz Kowalski
Quasi-subtractive varieties. J. Symb. Log. 76(4): 1261-1286 (2011) - [j24]Antonio Ledda
On Certain Quasivarieties of Quasi-MV Algebras. Stud Logica 98(1-2): 149-174 (2011) - 2010
- [j23]Félix Bou, Francesco Paoli, Antonio Ledda
The Logic of Quasi-MV Algebras. J. Log. Comput. 20(2): 619-643 (2010) - [j22]Roberto Giuntini
Categorical Equivalences for sqrt(') quasi-MV Algebras. J. Log. Comput. 20(4): 795-810 (2010) - [j21]Francesco Paoli, Tomasz Kowalski:
On some properties of quasi MV algebras and square root quasi MV algebras. Part III. Reports Math. Log. 45: 161-199 (2010) - [j20]Tomasz Kowalski
The Lattice of Subvarieties of $${\sqrt{\prime}}$$ quasi-MV Algebras. Stud Logica 95(1-2): 37-61 (2010)
2000 – 2009
- 2009
- [j19]Roberto Giuntini
A discriminator variety of Gödel algebras with operators arising in quantum computation. Fuzzy Sets Syst. 160(8): 1082-1098 (2009) - [j18]Giuseppe Sergioli
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
- [j16]Francesco Paoli, Matthew Spinks, Robert Veroff:
Abelian Logic and the Logics of Pointed Lattice-Ordered Varieties. Logica Universalis 2(2): 209-233 (2008) - [j15]Félix Bou, Francesco Paoli, Antonio Ledda
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
Expanding Quasi-MV Algebras by a Quantum Operator. Stud Logica 87(1): 99-128 (2007) - 2006
- [j13]Antonio Ledda
MV-Algebras and Quantum Computation. Stud Logica 82(2): 245-270 (2006) - [j12]Francesco Paoli:
*-autonomous lattices and fuzzy sets. Soft Comput. 10(7): 607-617 (2006) - 2005
- [j11]Francesco Paoli, Greg Restall
The geometry of non-distributive logics. J. Symb. Log. 70(4): 1108-1126 (2005) - [j10]Francesco Paoli:
*-autonomous Lattices. Stud Logica 79(2): 283-304 (2005) - 2003
- [j9]Francesco Paoli:
Quine and Slater on Paraconsistency and Deviance. J. Philos. Log. 32(5): 531-548 (2003) - [j8]Francesco Paoli:
A Really Fuzzy Approach to the Sorites Paradox. Synth. 134(3): 363-387 (2003) - 2002
- [j7]Francesco Paoli:
On the algebraic structure of linear, relevance, and fuzzy logics. Arch. Math. Log. 41(2): 107-121 (2002) - 2000
- [j6]Francesco Paoli:
A Common Abstraction of MV-Algebras and Abelian l-groups. Stud Logica 65(3): 355-366 (2000)
1990 – 1999
- 1999
- [j5]Francesco Paoli:
Comparative Logic as an Approach to Comparison in Natural Language. J. Semant. 16(1): 67-96 (1999) - [j4]Francesco Paoli:
Simplified Affine Phase Structures 32. Reports Math. Log. 33: 21-34 (1999) - 1998
- [j3]Francesco Paoli:
Simplified Affine Phase Structures. Reports Math. Log. 32: 21-34 (1998) - 1996
- [j2]Francesco Paoli:
S is Constructively Complete. Reports Math. Log. 30: 31-47 (1996) - 1993
- [j1]Francesco Paoli:
Semantics for First Degree Relatedness Logic. Reports Math. Log. 27: 81-94 (1993)
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-22 20:17 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: