Order:
Disambiguations
Francesco Paoli [37]F. Paoli [10]Francesca Paoli [2]Franceso Paoli [1]
Franchesco Paoli [1]
  1.  12
    On Paraconsistent Weak Kleene Logic: Axiomatisation and Algebraic Analysis.Stefano Bonzio, José Gil-Férez, Francesco Paoli & Luisa Peruzzi - 2017 - Studia Logica 105 (2):253-297.
    Paraconsistent Weak Kleene logic is the 3-valued logic with two designated values defined through the weak Kleene tables. This paper is a first attempt to investigate PWK within the perspective and methods of abstract algebraic logic. We give a Hilbert-style system for PWK and prove a normal form theorem. We examine some algebraic structures for PWK, called involutive bisemilattices, showing that they are distributive as bisemilattices and that they form a variety, \, generated by the 3-element algebra WK; we also (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  2. Logical Consequence and the Paradoxes.Edwin Mares & Francesco Paoli - 2014 - Journal of Philosophical Logic 43 (2-3):439-469.
    We group the existing variants of the familiar set-theoretical and truth-theoretical paradoxes into two classes: connective paradoxes, which can in principle be ascribed to the presence of a contracting connective of some sort, and structural paradoxes, where at most the faulty use of a structural inference rule can possibly be blamed. We impute the former to an equivocation over the meaning of logical constants, and the latter to an equivocation over the notion of consequence. Both equivocation sources are tightly related, (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  3.  23
    The Original Sin of Proof-Theoretic Semantics.Bogdan Dicher & Francesco Paoli - forthcoming - Synthese:1-26.
    Proof-theoretic semantics is an alternative to model-theoretic semantics. It aims at explaining the meaning of the logical constants in terms of the inference rules that govern their behaviour in proofs. We argue that this must be construed as the task of explaining these meanings relative to a logic, i.e., to a consequence relation. Alas, there is no agreed set of properties that a relation must have in order to qualify as a consequence relation. Moreover, the association of a consequence relation (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4. ST, LP and Tolerant Metainferences.Bogdan Dicher & Francesco Paoli - forthcoming - In C. Bașkent & Thomas Ferguson (eds.), Graham Priest on dialetheism and paraconsistency. Springer.
  5. Paraconsistency: Logic and Applications.Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.) - 2013 - Springer.
    A logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', according to which any conclusion follows from inconsistent premises. While logicians have proposed many technically developed paraconsistent logical systems and contemporary philosophers like Graham Priest have advanced the view that some contradictions can be true, and advocated a paraconsistent logic to deal with them, until recent times these systems have been little understood by philosophers. This book presents a comprehensive overview on paraconsistent logical systems to change (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  6. Implicational Paradoxes and the Meaning of Logical Constants.Francesco Paoli - 2007 - Australasian Journal of Philosophy 85 (4):553 – 579.
    I discuss paradoxes of implication in the setting of a proof-conditional theory of meaning for logical constants. I argue that a proper logic of implication should be not only relevant, but also constructive and nonmonotonic. This leads me to select as a plausible candidate LL, a fragment of linear logic that differs from R in that it rejects both contraction and distribution.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  7.  36
    Is Multiset Consequence Trivial?Petr Cintula & Francesco Paoli - forthcoming - Synthese:1-25.
    Dave Ripley has recently argued against the plausibility of multiset consequence relations and of contraction-free approaches to paradox. For Ripley, who endorses a nontransitive theory, the best arguments that buttress transitivity also push for contraction—whence it is wiser for the substructural logician to go nontransitive from the start. One of Ripley’s allegations is especially insidious, since it assumes the form of a trivialisation result: it is shown that if a multiset consequence relation can be associated to a closure operator in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  8.  57
    Quine and Slater on Paraconsistency and Deviance.Francesco Paoli - 2003 - Journal of Philosophical Logic 32 (5):531-548.
    In a famous and controversial paper, B. H. Slater has argued against the possibility of paraconsistent logics. Our reply is centred on the distinction between two aspects of the meaning of a logical constant *c* in a given logic: its operational meaning, given by the operational rules for *c* in a cut-free sequent calculus for the logic at issue, and its global meaning, specified by the sequents containing *c* which can be proved in the same calculus. Subsequently, we use the (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  9.  72
    MV-Algebras and Quantum Computation.Antonio Ledda, Martinvaldo Konig, Francesco Paoli & Roberto Giuntini - 2006 - Studia Logica 82 (2):245-270.
    We introduce a generalization of MV algebras motivated by the investigations into the structure of quantum logical gates. After laying down the foundations of the structure theory for such quasi-MV algebras, we show that every quasi-MV algebra is embeddable into the direct product of an MV algebra and a “flat” quasi-MV algebra, and prove a completeness result w.r.t. a standard quasi-MV algebra over the complex numbers.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  10.  83
    Abelian Logic and the Logics of Pointed Lattice-Ordered Varieties.Francesco Paoli, Matthew Spinks & Robert Veroff - 2008 - Logica Universalis 2 (2):209-233.
    We consider the class of pointed varieties of algebras having a lattice term reduct and we show that each such variety gives rise in a natural way, and according to a regular pattern, to at least three interesting logics. Although the mentioned class includes several logically and algebraically significant examples (e.g. Boolean algebras, MV algebras, Boolean algebras with operators, residuated lattices and their subvarieties, algebras from quantum logic or from depth relevant logic), we consider here in greater detail Abelian ℓ-groups, (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  11. The Ambiguity of Quantifiers.Francesco Paoli - 2005 - Philosophical Studies 124 (3):313-330.
    In the tradition of substructural logics, it has been claimed for a long time that conjunction and inclusive disjunction are ambiguous:we should, in fact, distinguish between ‘lattice’ connectives (also called additive or extensional) and ‘group’ connectives (also called multiplicative or intensional). We argue that an analogous ambiguity affects the quantifiers. Moreover, we show how such a perspective could yield solutions for two well-known logical puzzles: McGee’s counterexample to modus ponens and the lottery paradox.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  12.  78
    A Really Fuzzy Approach to the Sorites Paradox.Francesco Paoli - 2003 - Synthese 134 (3):363 - 387.
  13.  70
    Expanding Quasi-MV Algebras by a Quantum Operator.Roberto Giuntini, Antonio Ledda & Francesco Paoli - 2007 - Studia Logica 87 (1):99-128.
    We investigate an expansion of quasi-MV algebras ([10]) by a genuine quantum unary operator. The variety of such quasi-MV algebras has a subquasivariety whose members—called cartesian—can be obtained in an appropriate way out of MV algebras. After showing that cartesian . quasi-MV algebras generate ,we prove a standard completeness theorem for w.r.t. an algebra over the complex numbers.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  14. On Some Properties of Quasi MV Algebras and Square Root Quasi MV Algebras. Part III.Franchesco Paoli & Tomasz Kowalski - 2010 - Reports on Mathematical Logic:161-199.
     
    Export citation  
     
    Bookmark   4 citations  
  15.  16
    An Abstract Approach to Consequence Relations.Petr Cintula, José Gil-férez, Tommaso Moraschini & Francesco Paoli - 2019 - Review of Symbolic Logic 12 (2):331-371.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  74
    The Geometry of Non-Distributive Logics.Greg Restall & Francesco Paoli - 2005 - Journal of Symbolic Logic 70 (4):1108 - 1126.
    In this paper we introduce a new natural deduction system for the logic of lattices, and a number of extensions of lattice logic with different negation connectives. We provide the class of natural deduction proofs with both a standard inductive definition and a global graph-theoretical criterion for correctness, and we show how normalisation in this system corresponds to cut elimination in the sequent calculus for lattice logic. This natural deduction system is inspired both by Shoesmith and Smiley's multiple conclusion systems (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  17. On Some Properties of Quasi-MV Algebras and $\Sqrt{^{\Prime }}$ Quasi-MV Algebras.Francesco Paoli, Antonio Ledda, Roberto Giuntini & Hector Freytes - 2009 - Reports on Mathematical Logic:31-63.
    We investigate some properties of two varieties of algebras arising from quantum computation - quasi-MV algebras and $\sqrt{^{\prime }}$ quasi-MV algebras - first introduced in \cite{Ledda et al. 2006}, \cite{Giuntini et al. 200+} and tightly connected with fuzzy logic. We establish the finite model property and the congruence extension property for both varieties; we characterize the quasi-MV reducts and subreducts of $\sqrt{^{\prime }}$ quasi-MV algebras; we give a representation of semisimple $\sqrt{^{\prime }}$ quasi-MV algebras in terms of algebras of functions; (...)
     
    Export citation  
     
    Bookmark   3 citations  
  18.  57
    Comparative Logic as an Approach to Comparison in Natural Language.F. Paoli - 1999 - Journal of Semantics 16 (1):67-96.
    Montague grammarians claim that the logical analysis of language sketched in standard textbooks of first order logic is too coarse to be appropriate to such natural languages as English. In the following we shall defend the opposite view—at least as far as a very narrow fragment of English is concerned, traditional logical analysis is perfectly adequate provided we are ready to pay the price of abandoning classical logic in favour of logics containing a sufficiently rich stock of logical constants. Within (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  19.  19
    A Really Fuzzy Approach to the Sorites Paradox.Francesco Paoli - 2003 - Synthese 134 (3):363-387.
  20.  9
    Algebraic Analysis of Demodalised Analytic Implication.Antonio Ledda, Francesco Paoli & Michele Pra Baldi - forthcoming - Journal of Philosophical Logic:1-23.
    The logic DAI of demodalised analytic implication has been introduced by J.M. Dunn as a variation on a time-honoured logical system by C.I. Lewis’ student W.T. Parry. The main tenet underlying this logic is that no implication can be valid unless its consequent is “analytically contained” in its antecedent. DAI has been investigated both proof-theoretically and model-theoretically, but no study so far has focussed on DAI from the viewpoint of abstract algebraic logic. We provide several different algebraic semantics for DAI, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21. Bolzano e le dimostrazioni matematiche.Francesco Paoli - 1991 - Rivista di Filosofia 82 (2):221-242.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   5 citations  
  22.  25
    Logic and Groups.Francesco Paoli - 2001 - Logic and Logical Philosophy 9:109.
  23.  34
    ★-Autonomous Lattices.Francesco Paoli - 2005 - Studia Logica 79 (2):283-304.
    -autonomous lattices are the algebraic exponentials and without additive constants. In this paper, we investigate the structure theory of this variety and some of its subvarieties, as well as its relationships with other classes of algebras.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24.  33
    Quasi-Subtractive Varieties.Tomasz Kowalski, Francesco Paoli & Matthew Spinks - 2011 - Journal of Symbolic Logic 76 (4):1261-1286.
    Varieties like groups, rings, or Boolean algebras have the property that, in any of their members, the lattice of congruences is isomorphic to a lattice of more manageable objects, for example normal subgroups of groups, two-sided ideals of rings, filters (or ideals) of Boolean algebras.algebraic logic can explain these phenomena at a rather satisfactory level of generality: in every member A of a τ-regular variety the lattice of congruences of A is isomorphic to the lattice of deductive filters on (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  19
    On the Algebraic Structure of Linear, Relevance, and Fuzzy Logics.Francesco Paoli - 2002 - Archive for Mathematical Logic 41 (2):107-121.
    Substructural logics are obtained from the sequent calculi for classical or intuitionistic logic by suitably restricting or deleting some or all of the structural rules (Restall, 2000; Ono, 1998). Recently, this field of research has come to encompass a number of logics - e.g. many fuzzy or paraconsistent logics - which had been originally introduced out of different, possibly semantical, motivations. A finer proof-theoretical analysis of such logics, in fact, revealed that it was possible to subsume them under the previous (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  26.  28
    The Lattice of Subvarieties of $${\Sqrt{\Prime}}$$ Quasi-MV Algebras.T. Kowalski, F. Paoli, R. Giuntini & A. Ledda - 2010 - Studia Logica 95 (1-2):37-61.
    In the present paper we continue the investigation of the lattice of subvarieties of the variety of ${\sqrt{\prime}}$ quasi-MV algebras, already started in [6]. Beside some general results on the structure of such a lattice, the main contribution of this work is the solution of a long-standing open problem concerning these algebras: namely, we show that the variety generated by the standard disk algebra D r is not finitely based, and we provide an infinite equational basis for the same variety.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  27.  12
    Introduction: Logical Pluralism and Translation.Francesca Ervas, Antonio Ledda, Francesco Paoli & Giuseppe Sergioli - 2019 - Topoi 38 (2):263-264.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  28.  9
    The Lattice of Subvarieties of √′ Quasi-MV Algebras.T. Kowalski, F. Paoli, R. Giuntini & A. Ledda - 2010 - Studia Logica 95 (1-2):37 - 61.
    In the present paper we continue the investigation of the lattice of subvarieties of the variety of √′ P quasi-MV algebras, already started in [6]. Beside some general results on the structure of such a lattice, the main contribution of this work is the solution of a long-standing open problem concerning these algebras: namely, we show that the variety generated by the standard disk algebra D r is not finitely based, and we provide an infinite equational basis for the same (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  29.  59
    A Common Abstraction of MV-Algebras and Abelian L-Groups.Francesco Paoli - 2000 - Studia Logica 65 (3):355-366.
    We investigate the class of strongly distributive pregroups, a common abstraction of MV-algebras and Abelian l-groups which was introduced by E.Casari. The main result of the paper is a representation theorem which yields both Chang's representation of MV-algebras and Clifford's representation of Abelian l-groups as immediate corollaries.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30.  42
    Guest Editors' Introduction.Koji Tanaka, Francesco Berto, Edwin Mares & Francesco Paoli - 2010 - Logic and Logical Philosophy 19 (1-2):5-6.
    A logic is said to be paraconsistent if it doesn’t license you to infer everything from a contradiction. To be precise, let |= be a relation of logical consequence. We call |= explosive if it validates the inference rule: {A,¬A} |= B for every A and B. Classical logic and most other standard logics, including intuitionist logic, are explosive. Instead of licensing you to infer everything from a contradiction, paraconsistent logic allows you to sensibly deal with the contradiction.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  31.  31
    On Birkhoff’s Common Abstraction Problem.F. Paoli & C. Tsinakis - 2012 - Studia Logica 100 (6):1079-1105.
    In his milestone textbook Lattice Theory, Garrett Birkhoff challenged his readers to develop a "common abstraction" that includes Boolean algebras and lattice-ordered groups as special cases. In this paper, after reviewing the past attempts to solve the problem, we provide our own answer by selecting as common generalization of and their join ∨ in the lattice of subvarieties of ℒ (the variety of FL-algebras); we argue that such a solution is optimal under several respects and we give an (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  32. The Proof Theory of Comparative Logic.F. Paoli - 2000 - Logique Et Analyse 171:357-370.
     
    Export citation  
     
    Bookmark   1 citation  
  33.  9
    Comments on 'Fuzzy Logic and Higher-Order Vagueness' by Nicholas J.J. Smith.Francesco Paoli - 2011 - In Petr Cintula, Christian G. Fermüller, Lluis Godo & Petr Hájek (eds.), Understanding Vagueness: Logical, Philosophical and Linguistic Perspectives. College Publications. pp. 33-5.
    Direct download  
     
    Export citation  
     
    Bookmark  
  34.  25
    Logic. The Laws of Truth.F. Paoli - 2014 - History and Philosophy of Logic 35 (3):306-308.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  35.  8
    Logic: The Laws of Truth by Nicholas J. J. Smith. [REVIEW]Francesco Paoli - 2014 - History and Philosophy of Logic 35 (3):306-8.
    Direct download  
     
    Export citation  
     
    Bookmark  
  36.  14
    A New View of Effects in a Hilbert Space.Roberto Giuntini, Antonio Ledda & Francesco Paoli - 2016 - Studia Logica 104 (6):1145-1177.
    We investigate certain Brouwer-Zadeh lattices that serve as abstract counterparts of lattices of effects in Hilbert spaces under the spectral ordering. These algebras, called PBZ*-lattices, can also be seen as generalisations of orthomodular lattices and are remarkable for the collapse of three notions of “sharpness” that are distinct in general Brouwer-Zadeh lattices. We investigate the structure theory of PBZ*-lattices and their reducts; in particular, we prove some embedding results for PBZ*-lattices and provide an initial description of the lattice of PBZ*-varieties.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  32
    On Certain Quasivarieties of Quasi-MV Algebras.A. Ledda, T. Kowalski & F. Paoli - 2011 - Studia Logica 98 (1-2):149-174.
    Quasi-MV algebras are generalisations of MV algebras arising in quantum computational logic. Although a reasonably complete description of the lattice of subvarieties of quasi-MV algebras has already been provided, the problem of extending this description to the setting of quasivarieties has so far remained open. Given its apparent logical repercussions, we tackle the issue in the present paper. We especially focus on quasivarieties whose generators either are subalgebras of the standard square quasi-MV algebra S , or can be obtained therefrom (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  38.  18
    A Paraconsistent and Substructural Conditional Logic.Francesco Paoli - 2013 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Springer. pp. 173--198.
    Direct download  
     
    Export citation  
     
    Bookmark  
  39.  5
    Quasi-Subtractive Varieties: Open Filters, Congruences and the Commutator.T. Kowalski, A. Ledda & F. Paoli - 2014 - Logic Journal of the IGPL 22 (6):844-871.
  40. New Directions in Logic and the Philosophy of Science.L. Felline, A. Ledda, F. Paoli & E. Rossanese (eds.) - 2016 - College Publications.
  41. SILFS 3 - New Directions in Logic and Philosophy of Science.Laura Felline, Antonio Ledd, Francesco Paoli & Emanuele Rossanese (eds.) - 2016 - College Publications.
  42. MV Algebras and Quantum Computation.Konig M. la, F. Paoli & R. Giuntini - 2006 - Studia Logica 82 (2).
     
    Export citation  
     
    Bookmark  
  43. List of Participants 17 Robert K. Meyer (Camberra, Australia) Barbara Morawska (Gdansk, Poland) Daniele Mundici (Milan, Italy).Kazumi Nakamatsu, Marek Nasieniewski, Volodymyr Navrotskiy, Sergey Pavlovich Odintsov, Carlos Oiler, Mieczyslaw Omyla, Hiroakira Ono, Ewa Orlowska, Katarzyna Palasihska & Francesco Paoli - 2001 - Logic and Logical Philosophy 7:16.
    No categories
     
    Export citation  
     
    Bookmark  
  44. Allegria al dolore.Francesca Paoli - 2004 - Encyclopaideia 16:29-42.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  45. On Strong Comparative Logic.Francesco Paoli - 1996 - Logique Et Analyse 155 (156):271-283.
     
    Export citation  
     
    Bookmark  
  46. Proof Theory of Paraconsistent Weak Kleene Logic.Francesco Paoli & Michele Pra Baldi - forthcoming - Studia Logica:1-24.
    Paraconsistent Weak Kleene Logic is the 3-valued propositional logic defined on the weak Kleene tables and with two designated values. Most of the existing proof systems for PWK are characterised by the presence of linguistic restrictions on some of their rules. This feature can be seen as a shortcoming. We provide a cut-free calculus for PWK that is devoid of such provisos. Moreover, we introduce a Priest-style tableaux calculus for PWK.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47. Simplified Affine Phase Structures.Francesco Paoli - 1998 - Reports on Mathematical Logic:21-34.
    Phase models for affine linear logic were independently devised by Lafont [10] and Piazza [15], although foreshadowed by Ono [14]. However, the existing semantics either contain no explicit directions for the construction of models in the general case, or else are forced to resort to additional conditions extending Girard's semantics . We dispense with these extra postulates - at least for the subexponential fragment of this logic - considering structures where the set of antiphases is concretely constructed. Moreover, we show (...)
     
    Export citation  
     
    Bookmark  
  48. Semantics For First Degree Relatedness Logic.Francesco Paoli - 1993 - Reports on Mathematical Logic:81-94.
    In this paper, we axiomatize the first-degree entailments of relatedness logic, and introduce both tabular and algebraic semantics for such a fragment. Thereby, we partly answer the problems referred to as P1 and P28 in the Problem Section of this journal.Back to Main Menu.
     
    Export citation  
     
    Bookmark  
  49. S Is Constructively Complete.Francesco Paoli - 1996 - Reports on Mathematical Logic:31-47.
     
    Export citation  
     
    Bookmark  
  50. Scoprire se stessi nelle parole.Francesca Paoli - 2003 - Encyclopaideia 14:63-82.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark