Francesco Paoli

According to our database, Francesco Paoli authored at least 51 papers between 1993 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Sequent Calculi for First-order rmST.

Francesco Paoli, Adam Prenosil

J. Philos. Log., October, 2024

Intuitionistic Logic is a Connexive Logic.

Davide Fazio, Antonio Ledda, Francesco Paoli

Stud Logica, April, 2024

2023

A Substructural Gentzen Calculus for Orthomodular quantum Logic.

Davide Fazio, Antonio Ledda, Francesco Paoli, Gavin St. John

Rev. Symb. Log., December, 2023

Semiorthomodular BZ^⁎-lattices.

Roberto Giuntini, Claudia Muresan, Francesco Paoli

Fuzzy Sets Syst., July, 2023

2022

Sequent calculi of finite dimension.

Antonio Bucciarelli, Antonio Ledda, Francesco Paoli, Antonino Salibra

CoRR, 2022

2021

The original sin of proof-theoretic semantics.

Bogdan Dicher, Francesco Paoli

Synth., 2021

Residuated Structures and Orthomodular Lattices.

Davide Fazio, Antonio Ledda, Francesco Paoli

Stud Logica, 2021

Extensions of paraconsistent weak Kleene logic.

Francesco Paoli, Michele Pra Baldi

Log. J. IGPL, 2021

2020

Proof Theory of Paraconsistent Weak Kleene Logic.

Francesco Paoli, Michele Pra Baldi

Stud Logica, 2020

PBZ*-lattices: Structure theory and subvarieties.

Roberto Giuntini, Claudia Muresan, Francesco Paoli

Reports Math. Log., 2020

2019

An Abstract Approach to Consequence Relations.

Petr Cintula, José Gil-Férez, Tommaso Moraschini, Francesco Paoli

Rev. Symb. Log., 2019

Algebraic Analysis of Demodalised Analytic Implication.

Antonio Ledda, Francesco Paoli, Michele Pra Baldi

J. Philos. Log., 2019

2018

Boolean-like algebras of finite dimension.

Antonio Bucciarelli, Antonio Ledda, Francesco Paoli, Antonino Salibra

CoRR, 2018

2017

Factor varieties.

Antonino Salibra, Antonio Ledda, Francesco Paoli

Soft Comput., 2017

On Paraconsistent Weak Kleene Logic: Axiomatisation and Algebraic Analysis.

Stefano Bonzio, José Gil-Férez, Francesco Paoli, Luisa Peruzzi

Stud Logica, 2017

2016

A New View of Effects in a Hilbert Space.

Roberto Giuntini, Antonio Ledda, Francesco Paoli

Stud Logica, 2016

2015

On some properties of directoids.

Ivan Chajda, José Gil-Férez, Roberto Giuntini, Miroslav Kolarík, Antonio Ledda, Francesco Paoli

Soft Comput., 2015

2014

Logical Consequence and the Paradoxes.

Edwin D. Mares, Francesco Paoli

J. Philos. Log., 2014

Quasi-discriminator varieties.

Francesco Paoli, Antonio Ledda, Tomasz Kowalski, Matthew Spinks

Int. J. Algebra Comput., 2014

Quasi-subtractive varieties: Open filters, congruences and the commutator.

Tomasz Kowalski, Antonio Ledda, Francesco Paoli

Log. J. IGPL, 2014

2013

A Paraconsistent and Substructural Conditional Logic.

Francesco Paoli

Proceedings of the Paraconsistency: Logic and Applications, 2013

On some properties of quasi-MV algebras and √' quasi-MV algebras. Part IV.

Peter Jipsen, Antonio Ledda, Francesco Paoli

Reports Math. Log., 2013

Boolean like algebras.

Antonio Ledda, Tomasz Kowalski, Francesco Paoli, Antonino Salibra

Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

What Is Fuzzy Logic - And Why It Matters to Us.

Roberto Giuntini, Francesco Paoli, Hector Freytes, Antonio Ledda, Giuseppe Sergioli

Proceedings of the On Fuzziness - A Homage to Lotfi A. Zadeh - Volume 1, 2013

2012

On Birkhoff's Common Abstraction Problem.

Francesco Paoli, Constantine Tsinakis

Stud Logica, 2012

2011

On Certain Quasivarieties of Quasi-MV Algebras.

Antonio Ledda, Tomasz Kowalski, Francesco Paoli

Stud Logica, 2011

Quasi-subtractive varieties.

Tomasz Kowalski, Francesco Paoli, Matthew Spinks

J. Symb. Log., 2011

Some generalizations of fuzzy structures in quantum computational logic.

Roberto Giuntini, Antonio Ledda, Giuseppe Sergioli, Francesco Paoli

Int. J. Gen. Syst., 2011

2010

The Lattice of Subvarieties of $${\sqrt{\prime}}$$ quasi-MV Algebras.

Tomasz Kowalski, Francesco Paoli, Roberto Giuntini, Antonio Ledda

Stud Logica, 2010

On some properties of quasi MV algebras and square root quasi MV algebras. Part III.

Francesco Paoli, Tomasz Kowalski

Reports Math. Log., 2010

Categorical Equivalences for sqrt(') quasi-MV Algebras.

Roberto Giuntini, Francesco Paoli, Antonio Ledda

J. Log. Comput., 2010

The Logic of Quasi-MV Algebras.

Félix Bou, Francesco Paoli, Antonio Ledda, Matthew Spinks, Roberto Giuntini

J. Log. Comput., 2010

2009

On some properties of quasi-MV algebras and $\sqrt{^{\prime }}$ quasi-MV algebras.

Francesco Paoli, Antonio Ledda, Roberto Giuntini, Hector Freytes

Reports Math. Log., 2009

Two cooperative versions of the Guessing Secrets problem.

Giuseppe Sergioli, Antonio Ledda, Francesco Paoli, Roberto Giuntini, Tomasz Kowalski, Franco Montagna, Hector Freytes, Claudio Marini

Inf. Sci., 2009

A discriminator variety of Gödel algebras with operators arising in quantum computation.

Roberto Giuntini, Hector Freytes, Antonio Ledda, Francesco Paoli

Fuzzy Sets Syst., 2009

2008

On some properties of quasi-MV algebras and Ö{^cent}\sqrt{^{\prime}} quasi-MV algebras. Part II.

Félix Bou, Francesco Paoli, Antonio Ledda, Hector Freytes

Soft Comput., 2008

Abelian Logic and the Logics of Pointed Lattice-Ordered Varieties.

Francesco Paoli, Matthew Spinks, Robert Veroff

Logica Universalis, 2008

2007

Expanding Quasi-MV Algebras by a Quantum Operator.

Roberto Giuntini, Antonio Ledda, Francesco Paoli

Stud Logica, 2007

2006

*-autonomous lattices and fuzzy sets.

Francesco Paoli

Soft Comput., 2006

MV-Algebras and Quantum Computation.

Antonio Ledda, Martinvaldo Konig, Francesco Paoli, Roberto Giuntini

Stud Logica, 2006

2005

*-autonomous Lattices.

Francesco Paoli

Stud Logica, 2005

The geometry of non-distributive logics.

Francesco Paoli, Greg Restall

J. Symb. Log., 2005

2003

A Really Fuzzy Approach to the Sorites Paradox.

Francesco Paoli

Synth., 2003

Quine and Slater on Paraconsistency and Deviance.

Francesco Paoli

J. Philos. Log., 2003

2002

On the algebraic structure of linear, relevance, and fuzzy logics.

Francesco Paoli

Arch. Math. Log., 2002

2000

A Common Abstraction of MV-Algebras and Abelian l-groups.

Francesco Paoli

Stud Logica, 2000

1999

Simplified Affine Phase Structures 32.

Francesco Paoli

Reports Math. Log., 1999

Comparative Logic as an Approach to Comparison in Natural Language.

Francesco Paoli

J. Semant., 1999

1998

Simplified Affine Phase Structures.

Francesco Paoli

Reports Math. Log., 1998

1996

S is Constructively Complete.

Francesco Paoli

Reports Math. Log., 1996

1993

Semantics for First Degree Relatedness Logic.

Francesco Paoli

Reports Math. Log., 1993