Switch to: References

Add citations

You must login to add citations.
  1. Contrapositionally complemented Heyting algebras and intuitionistic logic with minimal negation.Anuj Kumar More & Mohua Banerjee - 2023 - Logic Journal of the IGPL 31 (3):441-474.
    Two algebraic structures, the contrapositionally complemented Heyting algebra (ccHa) and the contrapositionally |$\vee $| complemented Heyting algebra (c|$\vee $|cHa), are studied. The salient feature of these algebras is that there are two negations, one intuitionistic and another minimal in nature, along with a condition connecting the two operators. Properties of these algebras are discussed, examples are given and comparisons are made with relevant algebras. Intuitionistic Logic with Minimal Negation (ILM) corresponding to ccHas and its extension |${\textrm {ILM}}$|-|${\vee }$| for c|$\vee (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Peirce’s calculi for classical propositional logic.Minghui Ma & Ahti-Veikko Pietarinen - 2020 - Review of Symbolic Logic 13 (3):509-540.
    This article investigates Charles Peirce’s development of logical calculi for classical propositional logic in 1880–1896. Peirce’s 1880 work on the algebra of logic resulted in a successful calculus for Boolean algebra. This calculus, denoted byPC, is here presented as a sequent calculus and not as a natural deduction system. It is shown that Peirce’s aim was to presentPCas a sequent calculus. The law of distributivity, which Peirce states in 1880, is proved using Peirce’s Rule, which is a residuation, inPC. The (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  • Peirce’s Reception in Australia and New Zealand.Catherine Legg - 2014 - European Journal of Pragmatism and American Philosophy 6 (1).
    "Although I think it is far to say that in what natives of this part of the world call 'downunder,' Peirce is still a minority interest, appreciation of his work appears to be growing slowly but surely...".
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
    		•
  • Simplex sigillum veri: Peano, Frege, and Peirce on the Primitives of Logic.Francesco Bellucci, Amirouche Moktefi & Ahti-Veikko Pietarinen - 2018 - History and Philosophy of Logic 39 (1):80-95.
    We propose a reconstruction of the constellation of problems and philosophical positions on the nature and number of the primitives of logic in four authors of the nineteenth century logical scene: Peano, Padoa, Frege and Peirce. We argue that the proposed reconstruction forces us to recognize that it is in at least four different senses that a notation can be said to be simpler than another, and we trace the origins of these four senses in the writings of these authors. (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  • Introduction: History and Philosophy of Logical Notation.Francesco Bellucci, Amirouche Moktefi & Ahti-Veikko Pietarinen - 2018 - History and Philosophy of Logic 39 (1):1-2.
    We propose a reconstruction of the constellation of problems and philosophical positions on the nature and number of the primitives of logic in four authors of the nineteenth century logical scene: Peano, Padoa, Frege and Peirce. We argue that the proposed reconstruction forces us to recognize that it is in at least four different senses that a notation can be said to be simpler than another, and we trace the origins of these four senses in the writings of these authors. (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark  
    		•
  • Existential graphs as an instrument of logical analysis: Part I. alpha.Francesco Bellucci & Ahti-Veikko Pietarinen - 2016 - Review of Symbolic Logic 9 (2):209-237.
    Peirce considered the principal business of logic to be the analysis of reasoning. He argued that the diagrammatic system of Existential Graphs, which he had invented in 1896, carries the logical analysis of reasoning to the furthest point possible. The present paper investigates the analytic virtues of the Alpha part of the system, which corresponds to the sentential calculus. We examine Peirce’s proposal that the relation of illation is the primitive relation of logic and defend the view that this idea (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   21 citations