Francesco Paoli

56 papers Journal 52Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Editorial Introduction.
Stud Logica
Nikolaos Galatos, George Metcalfe, Francesco Paoli, Ciro Russo
2025 J jnl
Edwin Mares, The Logic of Entailment and its History, Cambridge University Press, 2024, pp. 282; ISBN: 9781009375313 (Hardcover) 85£, ISBN: 9781009375290 (eBook) 110$.
Stud Logica
Francesco Paoli
2025 J jnl
The higher dimensional propositional calculus.
Log. J. IGPL
Antonio Bucciarelli, Pierre-Louis Curien, Antonio Ledda, Francesco Paoli, Antonino Salibra
2024 J jnl
Editorial Introduction.
Stud Logica
Francesco Paoli, Gavin St. John
2024 J jnl
Intuitionistic Logic is a Connexive Logic.
Stud Logica
Davide Fazio, Antonio Ledda, Francesco Paoli
2024 J jnl
Sequent Calculi for First-order rmST.
J. Philos. Log.
Francesco Paoli, Adam Prenosil
2023 J jnl
A Substructural Gentzen Calculus for Orthomodular quantum Logic.
Rev. Symb. Log.
Davide Fazio, Antonio Ledda, Francesco Paoli, Gavin St. John
2023 J jnl
Semiorthomodular BZ
Fuzzy Sets Syst.
Roberto Giuntini, Claudia Muresan, Francesco Paoli
2022 J jnl
Sequent calculi of finite dimension.
CoRR
Antonio Bucciarelli, Antonio Ledda, Francesco Paoli, Antonino Salibra
2021 J jnl
Extensions of paraconsistent weak Kleene logic.
Log. J. IGPL
Francesco Paoli, Michele Pra Baldi
2021 J jnl
Residuated Structures and Orthomodular Lattices.
Stud Logica
Davide Fazio, Antonio Ledda, Francesco Paoli
2021 J jnl
The original sin of proof-theoretic semantics.
Synth.
Bogdan Dicher, Francesco Paoli
2020 J jnl
PBZ*-lattices: Structure theory and subvarieties.
Reports Math. Log.
Roberto Giuntini, Claudia Muresan, Francesco Paoli
2020 J jnl
Proof Theory of Paraconsistent Weak Kleene Logic.
Stud Logica
Francesco Paoli, Michele Pra Baldi
2019 J jnl
Algebraic Analysis of Demodalised Analytic Implication.
J. Philos. Log.
Antonio Ledda, Francesco Paoli, Michele Pra Baldi
2019 J jnl
An Abstract Approach to Consequence Relations.
Rev. Symb. Log.
Petr Cintula, José Gil-Férez, Tommaso Moraschini, Francesco Paoli
2018 J jnl
Boolean-like algebras of finite dimension.
CoRR
Antonio Bucciarelli, Antonio Ledda, Francesco Paoli, Antonino Salibra
2017 J jnl
Factor varieties.
Soft Comput.
Antonino Salibra, Antonio Ledda, Francesco Paoli
2017 J jnl
On Paraconsistent Weak Kleene Logic: Axiomatisation and Algebraic Analysis.
Stud Logica
Stefano Bonzio, José Gil-Férez, Francesco Paoli, Luisa Peruzzi
2016 J jnl
A New View of Effects in a Hilbert Space.
Stud Logica
Roberto Giuntini, Antonio Ledda, Francesco Paoli
2015 J jnl
On some properties of directoids.
Soft Comput.
Ivan Chajda, José Gil-Férez, Roberto Giuntini, Miroslav Kolarík, Antonio Ledda, Francesco Paoli
2014 J jnl
Logical Consequence and the Paradoxes.
J. Philos. Log.
Edwin D. Mares, Francesco Paoli
2014 J jnl
Quasi-discriminator varieties.
Int. J. Algebra Comput.
Francesco Paoli, Antonio Ledda, Tomasz Kowalski, Matthew Spinks
2014 J jnl
Quasi-subtractive varieties: Open filters, congruences and the commutator.
Log. J. IGPL
Tomasz Kowalski, Antonio Ledda, Francesco Paoli
2013 — ch.
A Paraconsistent and Substructural Conditional Logic.
Paraconsistency: Logic and Applications
Francesco Paoli
2013 — conf
Boolean like algebras.
TACL
Antonio Ledda, Tomasz Kowalski, Francesco Paoli, Antonino Salibra
2013 J jnl
On some properties of quasi-MV algebras and √' quasi-MV algebras. Part IV.
Reports Math. Log.
Peter Jipsen, Antonio Ledda, Francesco Paoli
2013 — book
Paraconsistency: Logic and Applications
Koji Tanaka, Francesco Berto, Edwin D. Mares, Francesco Paoli
2013 — conf
What Is Fuzzy Logic - And Why It Matters to Us.
On Fuzziness (1)
Roberto Giuntini, Francesco Paoli, Hector Freytes, Antonio Ledda, Giuseppe Sergioli
2012 J jnl
On Birkhoff's Common Abstraction Problem.
Stud Logica
Francesco Paoli, Constantine Tsinakis
2011 J jnl
On Certain Quasivarieties of Quasi-MV Algebras.
Stud Logica
Antonio Ledda, Tomasz Kowalski, Francesco Paoli
2011 J jnl
Quasi-subtractive varieties.
J. Symb. Log.
Tomasz Kowalski, Francesco Paoli, Matthew Spinks
2011 J jnl
Some generalizations of fuzzy structures in quantum computational logic.
Int. J. Gen. Syst.
Roberto Giuntini, Antonio Ledda, Giuseppe Sergioli, Francesco Paoli
2010 J jnl
Categorical Equivalences for sqrt(') quasi-MV Algebras.
J. Log. Comput.
Roberto Giuntini, Francesco Paoli, Antonio Ledda
2010 J jnl
On some properties of quasi MV algebras and square root quasi MV algebras. Part III.
Reports Math. Log.
Francesco Paoli, Tomasz Kowalski
2010 J jnl
The Lattice of Subvarieties of $${\sqrt{\prime}}$$ quasi-MV Algebras.
Stud Logica
Tomasz Kowalski, Francesco Paoli, Roberto Giuntini, Antonio Ledda
2010 J jnl
The Logic of Quasi-MV Algebras.
J. Log. Comput.
Félix Bou, Francesco Paoli, Antonio Ledda, Matthew Spinks, Roberto Giuntini
2009 J jnl
A discriminator variety of Gödel algebras with operators arising in quantum computation.
Fuzzy Sets Syst.
Roberto Giuntini, Hector Freytes, Antonio Ledda, Francesco Paoli
2009 J jnl
On some properties of quasi-MV algebras and $\sqrt{^{\prime }}$ quasi-MV algebras.
Reports Math. Log.
Francesco Paoli, Antonio Ledda, Roberto Giuntini, Hector Freytes
2009 J jnl
Two cooperative versions of the Guessing Secrets problem.
Inf. Sci.
Giuseppe Sergioli, Antonio Ledda, Francesco Paoli, Roberto Giuntini, Tomasz Kowalski, Franco Montagna, Hector Freytes, Claudio Marini
2008 J jnl
Abelian Logic and the Logics of Pointed Lattice-Ordered Varieties.
Logica Universalis
Francesco Paoli, Matthew Spinks, Robert Veroff
2008 J jnl
On some properties of quasi-MV algebras and Ö{
Soft Comput.
Félix Bou, Francesco Paoli, Antonio Ledda, Hector Freytes
2007 J jnl
Expanding Quasi-MV Algebras by a Quantum Operator.
Stud Logica
Roberto Giuntini, Antonio Ledda, Francesco Paoli
2006 J jnl
*-autonomous lattices and fuzzy sets.
Soft Comput.
Francesco Paoli
2006 J jnl
MV-Algebras and Quantum Computation.
Stud Logica
Antonio Ledda, Martinvaldo Konig, Francesco Paoli, Roberto Giuntini
2005 J jnl
*-autonomous Lattices.
Stud Logica
Francesco Paoli
2005 J jnl
The geometry of non-distributive logics.
J. Symb. Log.
Francesco Paoli, Greg Restall
2003 J jnl
A Really Fuzzy Approach to the Sorites Paradox.
Synth.
Francesco Paoli
2003 J jnl
Quine and Slater on Paraconsistency and Deviance.
J. Philos. Log.
Francesco Paoli
2002 J jnl
On the algebraic structure of linear, relevance, and fuzzy logics.
Arch. Math. Log.
Francesco Paoli
2000 J jnl
A Common Abstraction of MV-Algebras and Abelian l-groups.
Stud Logica
Francesco Paoli
1999 J jnl
Comparative Logic as an Approach to Comparison in Natural Language.
J. Semant.
Francesco Paoli
1999 J jnl
Simplified Affine Phase Structures 32.
Reports Math. Log.
Francesco Paoli
1998 J jnl
Simplified Affine Phase Structures.
Reports Math. Log.
Francesco Paoli
1996 J jnl
S is Constructively Complete.
Reports Math. Log.
Francesco Paoli
1993 J jnl
Semantics for First Degree Relatedness Logic.
Reports Math. Log.
Francesco Paoli