Switch to: References

Add citations

You must login to add citations.
  1. Axiomatization and completeness of uncountably valued approximation logic.Helena Rasiowa - 1994 - Studia Logica 53 (1):137 - 160.
  • Plain semi-post algebras as a poset-based generalization of post algebras and their representability.Nguyen Cat Ho & Helena Rasiowa - 1989 - Studia Logica 48 (4):509 - 530.
    Semi-Post algebras of any type T being a poset have been introduced and investigated in [CR87a], [CR87b]. Plain Semi-Post algebras are in this paper singled out among semi-Post algebras because of their simplicity, greatest similarity with Post algebras as well as their importance in logics for approximation reasoning ([Ra87a], [Ra87b], [RaEp87]). They are pseudo-Boolean algebras generated in a sense by corresponding Boolean algebras and a poset T. Every element has a unique descending representation by means of elements in a corresponding (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations