Switch to: References

Add citations

You must login to add citations.
  1. On Weak Lewis Distributive Lattices.Ismael Calomino, Sergio A. Celani & Hernán J. San Martín - forthcoming - Studia Logica:1-41.
    In this paper we study the variety \(\textsf{WL}\) of bounded distributive lattices endowed with an implication, called weak Lewis distributive lattices. This variety corresponds to the algebraic semantics of the \(\{\vee,\wedge,\Rightarrow,\bot,\top \}\) -fragment of the arithmetical base preservativity logic \(\mathsf {iP^{-}}\). The variety \(\textsf{WL}\) properly contains the variety of bounded distributive lattices with strict implication, also known as weak Heyting algebras. We introduce the notion of WL-frame and we prove a representation theorem for WL-lattices by means of WL-frames. We extended (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Monotone Subintuitionistic Logic: Duality and Transfer Results.Jim de Groot & Dirk Pattinson - 2022 - Notre Dame Journal of Formal Logic 63 (2).
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • C. I. Lewis: History and philosophy of logic.John Corcoran - 2006 - Transactions of the Charles S. Peirce Society 42 (1):1-9.
    C. I. Lewis (I883-I964) was the first major figure in history and philosophy of logic—-a field that has come to be recognized as a separate specialty after years of work by Ivor Grattan-Guinness and others (Dawson 2003, 257).Lewis was among the earliest to accept the challenges offered by this field; he was the first who had the philosophical and mathematical talent, the philosophical, logical, and historical background, and the patience and dedication to objectivity needed to excel. He was blessed with (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • C.I.Lewis’s calculus of predicates.Chris Swoyer - 1995 - History and Philosophy of Logic 16 (1):19-37.
    In 1951 C.I.Lewis published a logic of general terms that he called the calculus of predicates. Although this system is of less significance than Lewis’s earlier work on proposition...
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Anderson and Belnap’s Invitation to Sin.Alasdair Urquhart - 2010 - Journal of Philosophical Logic 39 (4):453 - 472.
    Quine has argued that modal logic began with the sin of confusing use and mention. Anderson and Belnap, on the other hand, have offered us a way out through a strategy of nominahzation. This paper reviews the history of Lewis's early work in modal logic, and then proves some results about the system in which "A is necessary" is intepreted as "A is a classical tautology.".
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The Early Formation of Modal Logic and its Significance: A Historical Note on Quine, Carnap, and a Bit of Church.Adam Tamas Tuboly - 2018 - History and Philosophy of Logic 39 (3):289-304.
    The aim of the paper is to show that W. V. O. Quine's animadversions against modal logic did not get the same attention that is considered to be the case nowadays. The community of logicians focused solely on the technical aspects of C. I. Lewis’ systems and did not take Quine's arguments and remarks seriously—or at least seriously enough to respond. In order to assess Quine's place in the history, however, his relation to Carnap is considered since their notorious break (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Preface.Matteo Pascucci & Adam Tamas Tuboly - 2019 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 26 (3):318-322.
    Special issue: "Reflecting on the Legacy of C.I. Lewis: Contemporary and Historical Perspectives on Modal Logic".
    Download  
     
    Export citation  
     
    Bookmark