8 found
Order:
  1.  22
    On the Complexity of the Leibniz Hierarchy.Tommaso Moraschini - 2019 - Annals of Pure and Applied Logic 170 (7):805-824.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  68
    M-Sets and the Representation Problem.Josep Maria Font & Tommaso Moraschini - 2015 - Studia Logica 103 (1):21-51.
    The “representation problem” in abstract algebraic logic is that of finding necessary and sufficient conditions for a structure, on a well defined abstract framework, to have the following property: that for every structural closure operator on it, every structural embedding of the expanded lattice of its closed sets into that of the closed sets of another structural closure operator on another similar structure is induced by a structural transformer between the base structures. This question arose from Blok and Jónsson abstract (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  10
    A Logical and Algebraic Characterization of Adjunctions Between Generalized Quasi-Varieties.Tommaso Moraschini - 2018 - Journal of Symbolic Logic 83 (3):899-919.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  15
    A Computational Glimpse at the Leibniz and Frege Hierarchies.Tommaso Moraschini - 2018 - Annals of Pure and Applied Logic 169 (1):1-20.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  29
    The Semantic Isomorphism Theorem in Abstract Algebraic Logic.Tommaso Moraschini - 2016 - Annals of Pure and Applied Logic 167 (12):1298-1331.
  6.  18
    An Abstract Approach to Consequence Relations.Petr Cintula, José Gil-férez, Tommaso Moraschini & Francesco Paoli - 2019 - Review of Symbolic Logic 12 (2):331-371.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  8
    Varieties of Positive Modal Algebras and Structural Completeness.Tommaso Moraschini - 2019 - Review of Symbolic Logic 12 (3):557-588.
    Positive modal algebras are the $$\left\langle { \wedge, \vee,\diamondsuit,\square,0,1} \right\rangle $$-subreducts of modal algebras. We prove that the variety of positive S4-algebras is not locally finite. On the other hand, the free one-generated positive S4-algebra is shown to be finite. Moreover, we describe the bottom part of the lattice of varieties of positive S4-algebras. Building on this, we characterize structurally complete varieties of positive K4-algebras.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  9
    A Study of Truth Predicates in Matrix Semantics.Tommaso Moraschini - 2018 - Review of Symbolic Logic 11 (4):780-804.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark