Switch to: References

Add citations

You must login to add citations.
  1. Countably Many Weakenings of Belnap–Dunn Logic.Minghui Ma & Yuanlei Lin - 2020 - Studia Logica 108 (2):163-198.
    Every Berman’s variety \ which is the subvariety of Ockham algebras defined by the equation \ and \) determines a finitary substitution invariant consequence relation \. A sequent system \ is introduced as an axiomatization of the consequence relation \. The system \ is characterized by a single finite frame \ under the frame semantics given for the formal language. By the duality between frames and algebras, \ can be viewed as a \-valued logic as it is characterized by a (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Natural Dualities Through Product Representations: Bilattices and Beyond.L. M. Cabrer & H. A. Priestley - 2016 - Studia Logica 104 (3):567-592.
    This paper focuses on natural dualities for varieties of bilattice-based algebras. Such varieties have been widely studied as semantic models in situations where information is incomplete or inconsistent. The most popular tool for studying bilattices-based algebras is product representation. The authors recently set up a widely applicable algebraic framework which enabled product representations over a base variety to be derived in a uniform and categorical manner. By combining this methodology with that of natural duality theory, we demonstrate how to build (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations