10 found
Order:
  1.  27
    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   2 citations  
  2.  80
    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   4 citations  
  3.  3
    The Poset of All Logics III: Finitely Presentable Logics.Ramon Jansana & Tommaso Moraschini - 2021 - Studia Logica 109 (3):539-580.
    A logic in a finite language is said to be finitely presentable if it is axiomatized by finitely many finite rules. It is proved that binary non-indexed products of logics that are both finitely presentable and finitely equivalential are essentially finitely presentable. This result does not extend to binary non-indexed products of arbitrary finitely presentable logics, as shown by a counterexample. Finitely presentable logics are then exploited to introduce finitely presentable Leibniz classes, and to draw a parallel between the Leibniz (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  4.  11
    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   2 citations  
  5.  16
    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   2 citations  
  6.  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   2 citations  
  7.  32
    The Semantic Isomorphism Theorem in Abstract Algebraic Logic.Tommaso Moraschini - 2016 - Annals of Pure and Applied Logic 167 (12):1298-1331.
  8.  23
    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  
  9. Singly Generated Quasivarieties and Residuated Structures.Tommaso Moraschini, James G. Raftery & Johann J. Wannenburg - 2020 - Mathematical Logic Quarterly 66 (2):150-172.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  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