6 found
Order:
  1.  2
    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  
     
    My bibliography   1 citation  
  2.  5
    Normal Natural Deduction Proof (In Non-Classical Logics).Wilfried Sieg & Saverio Cittadini - unknown
    Wilfred Sieg and Saverio Cittadini. Normal Natural Deduction Proof (In Non-Classical Logics.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  3.  9
    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 (7 more)  
     
    Export citation  
     
    My bibliography  
  4.  4
    On Pairs of Free Modules Over a Dedekind Domain.Saverio Cittadini & Carlo Toffalori - 2006 - Archive for Mathematical Logic 45 (1):75-95.
    The study of pairs of modules (over a Dedekind domain) arises from two different perspectives, as a starting step in the analysis of tuples of submodules of a given module, or also as a particular case in the analysis of Abelian structures made by two modules and a morphism between them. We discuss how these two perspectives converge to pairs of modules, and we follow the latter one to obtain an alternative approach to the classification of pairs of torsionfree objects. (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  5.  5
    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  
     
    My bibliography  
  6.  1
    Comparing First Order Theories of Modules Over Group Rings.Saverio Cittadini & Carlo Toffalori - 2002 - Mathematical Logic Quarterly 48 (1):147-156.
    We consider R-torsionfree modules over group rings RG, where R is a Dedekind domain and G is a finite group. In the first part of the paper [4] we compared the theory T of all R-torsionfree RG-modules and the theory T0 of RG-lattices , and we realized that they are almost always different. Now we compare their behaviour with respect to decidability, when RG-lattices are of finite, or wild representation type.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography