Switch to: References

Citations of:

Modal functional completeness

In Heinrich Wansing (ed.), Proof theory of modal logic. Boston: Kluwer Academic Publishers (1996)

Add citations

You must login to add citations.
  1. On Definability of Connectives and Modal Logics over FDE.Sergei P. Odintsov, Daniel Skurt & Heinrich Wansing - forthcoming - Logic and Logical Philosophy:1.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Medial commutativity.Kosta Došen & Zoran Petrić - 2007 - Annals of Pure and Applied Logic 146 (2):237-255.
    It is shown that all the assumptions for symmetric monoidal categories follow from a unifying principle involving natural isomorphisms of the type →, called medial commutativity. Medial commutativity in the presence of the unit object enables us to define associativity and commutativity natural isomorphisms. In particular, Mac Lane’s pentagonal and hexagonal coherence conditions for associativity and commutativity are derived from the preservation up to a natural isomorphism of medial commutativity by the biendofunctor . This preservation boils down to an isomorphic (...)
    Download  
     
    Export citation  
     
    Bookmark