Switch to: References

Add citations

You must login to add citations.
  1. Singulary extensional connectives: A closer look. [REVIEW]I. L. Humberstone - 1997 - Journal of Philosophical Logic 26 (3):341-356.
    The totality of extensional 1-ary connectives distinguishable in a logical framework allowing sequents with multiple or empty (alongside singleton) succedents form a lattice under a natural partial ordering relating one connective to another if all the inferential properties of the former are possessed by the latter. Here we give a complete description of that lattice; its Hasse diagram appears as Figure 1 in §2. Simple syntactic descriptions of the lattice elements are provided in §3; §§4 and 5 give some additional (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Modal Logics That Are Both Monotone and Antitone: Makinson’s Extension Results and Affinities between Logics.Lloyd Humberstone & Steven T. Kuhn - 2022 - Notre Dame Journal of Formal Logic 63 (4):515-550.
    A notable early result of David Makinson establishes that every monotone modal logic can be extended to LI, LV, or LF, and every antitone logic can be extended to LN, LV, or LF, where LI, LN, LV, and LF are logics axiomatized, respectively, by the schemas □α↔α, □α↔¬α, □α↔⊤, and □α↔⊥. We investigate logics that are both monotone and antitone (hereafter amphitone). There are exactly three: LV, LF, and the minimum amphitone logic AM axiomatized by the schema □α→□β. These logics, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation