Switch to: References

Citations of:

Atoms in modal algebras

Mathematical Logic Quarterly 30 (19‐24):303-312 (1984)

Add citations

You must login to add citations.
  1. Hyperintensionality and Normativity.Federico L. G. Faroldi - 2019 - Cham, Switzerland: Springer Verlag.
    Presenting the first comprehensive, in-depth study of hyperintensionality, this book equips readers with the basic tools needed to appreciate some of current and future debates in the philosophy of language, semantics, and metaphysics. After introducing and explaining the major approaches to hyperintensionality found in the literature, the book tackles its systematic connections to normativity and offers some contributions to the current debates. The book offers undergraduate and graduate students an essential introduction to the topic, while also helping professionals in related (...)
    No categories
    $80.88 new    View on Amazon.com
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  • An algebraic theory of normal forms.Silvio Ghilardi - 1995 - Annals of Pure and Applied Logic 71 (3):189-245.
    In this paper we present a general theory of normal forms, based on a categorial result for the free monoid construction. We shall use the theory mainly for proposictional modal logic, although it seems to have a wider range of applications. We shall formally represent normal forms as combinatorial objects, basically labelled trees and forests. This geometric conceptualization is implicit in and our approach will extend it to other cases and make it more direct: operations of a purely geometric and (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  • Post complete and 0-axiomatizable modal logics.Fabio Bellissima - 1990 - Annals of Pure and Applied Logic 47 (2):121-144.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Finitely generated free Heyting algebras.Fabio Bellissima - 1986 - Journal of Symbolic Logic 51 (1):152-165.
    The aim of this paper is to give, using the Kripke semantics for intuitionism, a representation of finitely generated free Heyting algebras. By means of the representation we determine in a constructive way some set of "special elements" of such algebras. Furthermore, we show that many algebraic properties which are satisfied by the free algebra on one generator are not satisfied by free algebras on more than one generator.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   16 citations