5 papers
Trees and spectra of Heyting algebras
Damiano Fornasiere, Tommaso Moraschini
A poset is Esakia representable when it is isomorphic to the prime spectrum of a Heyting algebra. Notably, every Esakia representable poset is also the spectrum of a commutative ri…
On equational completeness theorems
T. Moraschini
A logic is said to admit an equational completeness theorem when it can be interpreted into the equational consequence relative to some class of algebras. We characterize logics ad…
A study of truth predicates in matrix semantics
T. Moraschini
Abstract algebraic logic is a theory that provides general tools for the algebraic study of arbitrary propositional logics. According to this theory, every logic L is associated wi…
Varieties of positive modal algebras and structural completeness
T. Moraschini
Positive modal algebras are the positive-subreducts of modal algebras. We prove that the variety of positive S4-algebras is not locally finite. On the other hand, the free one-gene…
A logical and algebraic characterization of adjunctions between generalized quasi-varieties
T. Moraschini
We present a logical and algebraic description of right adjoint functors between generalized quasi-varieties, inspired by the work of McKenzie on category equivalence. This result…