Switch to: References

Add citations

You must login to add citations.
  1. Inquisitive Heyting Algebras.Vít Punčochář - 2021 - Studia Logica 109 (5):995-1017.
    In this paper we introduce a class of inquisitive Heyting algebras as algebraic structures that are isomorphic to algebras of finite antichains of bounded implicative meet semilattices. It is argued that these structures are suitable for algebraic semantics of inquisitive superintuitionistic logics, i.e. logics of questions based on intuitionistic logic and its extensions. We explain how questions are represented in these structures and provide several alternative characterizations of these algebras. For instance, it is shown that a Heyting algebra is inquisitive (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Propositional team logics.Fan Yang & Jouko Väänänen - 2017 - Annals of Pure and Applied Logic 168 (7):1406-1441.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Uniform definability in propositional dependence logic.Fan Yang - 2017 - Review of Symbolic Logic 10 (1):65-79.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Propositional union closed team logics.Fan Yang - 2022 - Annals of Pure and Applied Logic 173 (6):103102.
    Download  
     
    Export citation  
     
    Bookmark  
  • Embedding causal team languages into predicate logic.Fausto Barbero & Pietro Galliani - 2022 - Annals of Pure and Applied Logic 173 (10):103159.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Modal dependence logics: axiomatizations and model-theoretic properties.Fan Yang - 2017 - Logic Journal of the IGPL 25 (5):773-805.
    Download  
     
    Export citation  
     
    Bookmark   4 citations