6 citations · 8 across the 8 of their papers we have counts for
8 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…
Elementary equivalence in positive logic via prime products
T. Moraschini, J. J. Wannenburg, K. Yamamoto
We introduce prime products as a generalization of ultraproducts for positive logic. Prime products are shown to satisfy a version of Łoś's Theorem restricted to positive formulas,…
Intuitionistic Sahlqvist theory for deductive systems
Damiano Fornasiere, Tommaso Moraschini
Sahlqvist theory is extended to the fragments of the intuitionistic propositional calculus that include the conjunction connective. This allows us to introduce a Sahlqvist theory o…
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…
An Abstract Approach to Consequence Relations
Petr Cintula, José Gil Férez, Tommaso Moraschini +1
We generalise the Blok-Jónsson account of structural consequence relations, later developed by Galatos, Tsinakis and other authors, in such a way as to naturally accommodate multis…