31 found
Order:
  1.  94
    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  
     
    My bibliography   11 citations  
  2. 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 (4 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  3.  47
    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 (6 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  4.  4
    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  
     
    My bibliography   1 citation  
  5.  57
    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 (6 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  6.  66
    A Really Fuzzy Approach to the Sorites Paradox.Francesco Paoli - 2003 - Synthese 134 (3):363 - 387.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  7.  68
    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  
     
    My bibliography  
  8.  41
    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  
     
    My bibliography   6 citations  
  9. 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  
     
    My bibliography   1 citation  
  10. 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  
     
    My bibliography   3 citations  
  11.  48
    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 (6 more)  
     
    Export citation  
     
    My bibliography  
  12.  18
    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 (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  13.  13
    ★-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  
     
    My bibliography   1 citation  
  14.  11
    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  
     
    My bibliography  
  15.  6
    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  
     
    My bibliography   2 citations  
  16.  6
    A Really Fuzzy Approach to the Sorites Paradox.Francesco Paoli - 2003 - Synthese 134 (3):363-387.
  17. Bolzano e le dimostrazioni matematiche.Francesco Paoli - 1991 - Rivista di Filosofia 82 (2):221-242.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography   3 citations  
  18.  60
    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 (5 more)  
     
    Export citation  
     
    My bibliography  
  19.  5
    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  
     
    My bibliography  
  20.  20
    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  
     
    My bibliography  
  21.  8
    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  
     
    My bibliography  
  22.  7
    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 (6 more)  
     
    Export citation  
     
    My bibliography  
  23.  5
    Logic and Groups.Francesco Paoli - 2001 - Logic and Logical Philosophy 9:109.
  24. SILFS 3 - New Directions in Logic and Philosophy of Science.Laura Felline, Antonio Ledd, Francesco Paoli & Emanuele Rossanese (eds.) - 2016 - College Publications.
     
    Export citation  
     
    My bibliography  
  25. 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  
     
    My bibliography  
  26. 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.
     
    Export citation  
     
    My bibliography  
  27. Logic: The Laws of Truth by Nicholas J. J. Smith. [REVIEW]Francesco Paoli - 2014 - History and Philosophy of Logic 35 (3):306-8.
  28. On Strong Comparative Logic.Francesco Paoli - 1996 - Logique Et Analyse 155 (156):271-283.
     
    Export citation  
     
    My bibliography  
  29. 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  
     
    My bibliography  
  30. 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  
     
    My bibliography  
  31. S Is Constructively Complete.Francesco Paoli - 1996 - Reports on Mathematical Logic:31-47.
     
    Export citation  
     
    My bibliography