Francesco Paoli

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 15

Top Topics

Sequent Calculi

Intuitionistic Logic

Top Venues

Publications

Davide Fazio, Antonio Ledda, Francesco Paoli
Intuitionistic Logic is a Connexive Logic. Stud Logica 112 (1-2) (2024)
Davide Fazio, Antonio Ledda, Francesco Paoli, Gavin St. John
A Substructural Gentzen Calculus for Orthomodular quantum Logic. Rev. Symb. Log. 16 (4) (2023)
Roberto Giuntini, Claudia Muresan, Francesco Paoli
-lattices. Fuzzy Sets Syst. 463 (2023)
Antonio Bucciarelli, Antonio Ledda, Francesco Paoli, Antonino Salibra
Sequent calculi of finite dimension. CoRR (2022)
Bogdan Dicher, Francesco Paoli
The original sin of proof-theoretic semantics. Synth. 198 (1) (2021)
Francesco Paoli, Michele Pra Baldi
Extensions of paraconsistent weak Kleene logic. Log. J. IGPL 29 (5) (2021)
Davide Fazio, Antonio Ledda, Francesco Paoli
Residuated Structures and Orthomodular Lattices. Stud Logica 109 (6) (2021)
Francesco Paoli, Michele Pra Baldi
Proof Theory of Paraconsistent Weak Kleene Logic. Stud Logica 108 (4) (2020)
Roberto Giuntini, Claudia Muresan, Francesco Paoli
PBZ*-lattices: Structure theory and subvarieties. Reports Math. Log. 55 (2020)
Antonio Ledda, Francesco Paoli, Michele Pra Baldi
Algebraic Analysis of Demodalised Analytic Implication. J. Philos. Log. 48 (6) (2019)
Petr Cintula, José Gil-Férez, Tommaso Moraschini, Francesco Paoli
An Abstract Approach to Consequence Relations. Rev. Symb. Log. 12 (2) (2019)
Antonio Bucciarelli, Antonio Ledda, Francesco Paoli, Antonino Salibra
Boolean-like algebras of finite dimension. CoRR (2018)
Stefano Bonzio, José Gil-Férez, Francesco Paoli, Luisa Peruzzi
On Paraconsistent Weak Kleene Logic: Axiomatisation and Algebraic Analysis. Stud Logica 105 (2) (2017)
Antonino Salibra, Antonio Ledda, Francesco Paoli
Factor varieties. Soft Comput. 21 (6) (2017)
Roberto Giuntini, Antonio Ledda, Francesco Paoli
A New View of Effects in a Hilbert Space. Stud Logica 104 (6) (2016)
Ivan Chajda, José Gil-Férez, Roberto Giuntini, Miroslav Kolarík, Antonio Ledda, Francesco Paoli
On some properties of directoids. Soft Comput. 19 (4) (2015)
Edwin D. Mares, Francesco Paoli
Logical Consequence and the Paradoxes. J. Philos. Log. 43 (2-3) (2014)
Francesco Paoli, Antonio Ledda, Tomasz Kowalski, Matthew Spinks
Quasi-discriminator varieties. Int. J. Algebra Comput. 24 (3) (2014)
Tomasz Kowalski, Antonio Ledda, Francesco Paoli
Quasi-subtractive varieties: Open filters, congruences and the commutator. Log. J. IGPL 22 (6) (2014)
Roberto Giuntini, Francesco Paoli, Hector Freytes, Antonio Ledda, Giuseppe Sergioli
What Is Fuzzy Logic - And Why It Matters to Us. On Fuzziness (1) (2013)
Antonio Ledda, Tomasz Kowalski, Francesco Paoli, Antonino Salibra
Boolean like algebras. TACL (2013)
Peter Jipsen, Antonio Ledda, Francesco Paoli
On some properties of quasi-MV algebras and √' quasi-MV algebras. Part IV. Reports Math. Log. 48 (2013)
Francesco Paoli, Constantine Tsinakis
On Birkhoff's Common Abstraction Problem. Stud Logica 100 (6) (2012)
Tomasz Kowalski, Francesco Paoli, Matthew Spinks
Quasi-subtractive varieties. J. Symb. Log. 76 (4) (2011)
Antonio Ledda, Tomasz Kowalski, Francesco Paoli
On Certain Quasivarieties of Quasi-MV Algebras. Stud Logica 98 (1-2) (2011)
Roberto Giuntini, Antonio Ledda, Giuseppe Sergioli, Francesco Paoli
Some generalizations of fuzzy structures in quantum computational logic. Int. J. Gen. Syst. 40 (1) (2011)
Roberto Giuntini, Francesco Paoli, Antonio Ledda
Categorical Equivalences for sqrt(') quasi-MV Algebras. J. Log. Comput. 20 (4) (2010)
Tomasz Kowalski, Francesco Paoli, Roberto Giuntini, Antonio Ledda
The Lattice of Subvarieties of $${\sqrt{\prime}}$$ quasi-MV Algebras. Stud Logica 95 (1-2) (2010)
Félix Bou, Francesco Paoli, Antonio Ledda, Matthew Spinks, Roberto Giuntini
The Logic of Quasi-MV Algebras. J. Log. Comput. 20 (2) (2010)
Francesco Paoli, Tomasz Kowalski
On some properties of quasi MV algebras and square root quasi MV algebras. Part III. Reports Math. Log. 45 (2010)
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) (2009)
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 (2009)
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) (2009)
Félix Bou, Francesco Paoli, Antonio Ledda, Hector Freytes
}\sqrt{^{\prime}} quasi-MV algebras. Part II. Soft Comput. 12 (4) (2008)
Francesco Paoli, Matthew Spinks, Robert Veroff
Abelian Logic and the Logics of Pointed Lattice-Ordered Varieties. Logica Universalis 2 (2) (2008)
Roberto Giuntini, Antonio Ledda, Francesco Paoli
Expanding Quasi-MV Algebras by a Quantum Operator. Stud Logica 87 (1) (2007)
Antonio Ledda, Martinvaldo Konig, Francesco Paoli, Roberto Giuntini
MV-Algebras and Quantum Computation. Stud Logica 82 (2) (2006)
Francesco Paoli
*-autonomous lattices and fuzzy sets. Soft Comput. 10 (7) (2006)
Francesco Paoli
*-autonomous Lattices. Stud Logica 79 (2) (2005)
Francesco Paoli, Greg Restall
The geometry of non-distributive logics. J. Symb. Log. 70 (4) (2005)
Francesco Paoli
Quine and Slater on Paraconsistency and Deviance. J. Philos. Log. 32 (5) (2003)
Francesco Paoli
A Really Fuzzy Approach to the Sorites Paradox. Synth. 134 (3) (2003)
Francesco Paoli
On the algebraic structure of linear, relevance, and fuzzy logics. Arch. Math. Log. 41 (2) (2002)
Francesco Paoli
A Common Abstraction of MV-Algebras and Abelian l-groups. Stud Logica 65 (3) (2000)
Francesco Paoli
Comparative Logic as an Approach to Comparison in Natural Language. J. Semant. 16 (1) (1999)
Francesco Paoli
Simplified Affine Phase Structures 32. Reports Math. Log. 33 (1999)
Francesco Paoli
Simplified Affine Phase Structures. Reports Math. Log. 32 (1998)
Francesco Paoli
S is Constructively Complete. Reports Math. Log. 30 (1996)
Francesco Paoli
Semantics for First Degree Relatedness Logic. Reports Math. Log. 27 (1993)