20 found
Order:
  1.  55
    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   11 citations  
  2.  7
    On the Lattice of Extensions of the Modal Logics KAltn.Fabio Bellissima - 1988 - Archive for Mathematical Logic 27 (2):107-114.
  3.  20
    Atoms in Modal Algebras.Fabio Bellissima - 1984 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 30 (19-24):303-312.
  4.  31
    Finite and Finitely Separable Intermediate Propositional Logics.Fabio Bellissima - 1988 - Journal of Symbolic Logic 53 (2):403-420.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  7
    Minimal Axiomatization in Modal Logic.Fabio Bellissima & Saverio Cittadini - 1997 - Mathematical Logic Quarterly 43 (1):92-102.
    We consider the problem of finding, in the ambit of modal logic, a minimal characterization for finite Kripke frames, i.e., a formula which, given a frame, axiomatizes its theory employing the lowest possible number of variables and implies the other axiomatizations. We show that every finite transitive frame admits a minimal characterization over K4, and that this result can not be extended to K.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  6
    Atoms in Modal Algebras.Fabio Bellissima - 1984 - Mathematical Logic Quarterly 30 (19‐24):303-312.
  7.  27
    On the Axiomatization of Finitek-Frames.Fabio Bellissima & Massimo Mirolli - 1983 - Studia Logica 42 (4):383 - 388.
    We find a short way to construct a formula which axiomatizes a given finite frame of the modal logicK, in the sense that for each finite frameA, we construct a formula A which holds in those and only those frames in which every formula true inA holds.To obtain this result we find, for each finite model and each natural numbern, a formula which holds in those and only those models in which every formula true in , and involving the firstn (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  8.  7
    Post Complete and 0-Axiomatizable Modal Logics.Fabio Bellissima - 1990 - Annals of Pure and Applied Logic 47 (2):121-144.
  9.  27
    On the Inadequacy of the Relational Semantic for the “Until” Operator.Fabio Bellissima & Alessandra Ciupi - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):247-252.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  16
    Two Classes of Intermediate Propositional Logics Without Disjunction Property.Fabio Bellissima - 1989 - Archive for Mathematical Logic 28 (1):23-33.
  11.  15
    A Test to Determine Distinct Modalities in the Extensions ofS4.Fabio Bellissima - 1985 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31 (1-6):57-61.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  16
    A Distinguishable Model Theorem for the Minimal US-Tense Logic.Fabio Bellissima & Anna Bucalo - 1995 - Notre Dame Journal of Formal Logic 36 (4):585-594.
    A new concept of model for the US-tense logic is introduced, in which ternary relations of betweenness are adjoined to the usual early-later relation. The class of these new models, which contains the class of Kripke models, satisfies, contrary to that, the Distinguishable Model Theorem, in the sense that each model is equivalent to a model in which no two points verify exactly the same formulas.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  14
    Infinite Sets of Nonequivalent Modalities.Fabio Bellissima - 1989 - Notre Dame Journal of Formal Logic 30 (4):574-582.
  14.  26
    A General Treatment of Equivalent Modalities.Fabio Bellissima & Massimo Mirolli - 1989 - Journal of Symbolic Logic 54 (4):1460-1471.
  15.  2
    A Test to Determine Distinct Modalities in the Extensions of S4.Fabio Bellissima - 1985 - Mathematical Logic Quarterly 31 (1‐6):57-61.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  18
    Minimal P-Morphic Images, Axiomatizations and Coverings in the Modal Logic K.Fabio Bellissima & Saverio Cittadini - 1999 - Studia Logica 62 (3):371-398.
    We define the concepts of minimal p-morphic image and basic p-morphism for transitive Kripke frames. These concepts are used to determine effectively the least number of variables necessary to axiomatize a tabular extension of K4, and to describe the covers and co-covers of such a logic in the lattice of the extensions of K4.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  17.  11
    Duality and Completeness for US-Logics.Fabio Bellissima & Saverio Cittadini - 1998 - Notre Dame Journal of Formal Logic 39 (2):231-242.
    The semantics of e-models for tense logics with binary operators for `until' and `since' (US-logics) was introduced by Bellissima and Bucalo in 1995. In this paper we show the adequacy of these semantics by proving a general Henkin-style completeness theorem. Moreover, we show that for these semantics there holds a Stone-like duality theorem with the algebraic structures that naturally arise from US-logics.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  18.  3
    Epimoric Ratios and Greek Musical Theory.Fabio Bellissima - 1999 - In Maria Luisa Dalla Chiara (ed.), Language, Quantum, Music. pp. 303--326.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  2
    On the Inadequacy of the Relational Semantic for the “Until” Operator.Fabio Bellissima & Alessandra Ciupi - 1992 - Mathematical Logic Quarterly 38 (1):247-252.
    Modal logics with the binary operator Until are considered. It is shown that there exists a continuum of consistent U-logics without Kripke frames, and that each U-logic whose class of order does not have the finite frame property.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  20.  2
    On the Relationship Between One-Point Frames and Degrees of Unsatisfiability of Modal Formulas.Fabio Bellissima - 1984 - Notre Dame Journal of Formal Logic 25 (2):117-126.