Search
Search Results
-
Esakia duals of regular Heyting algebras
We investigate in this article regular Heyting algebras by means of Esakia duality. In particular, we give a characterisation of Esakia spaces dual...
-
Characterizations of near-Heyting algebras
A near-Heyting algebra is a join-semilattice with a greatest element such that every principal upset is a Heyting algebra. We will present several...
-
-
Computational Complexity of the Word Problem in Modal and Heyting Algebras with a Small Number of Generators
AbstractWe consider the computational complexity of the word problem for finitely generated Heyting and modal algebras. It is shown that the word...
-
-
A frame-theoretic perspective on Esakia duality
We introduce the category of Heyting frames, those coherent frames L in which the compact elements form a Heyting subalgebra of L , and show that it...
-
Some results on derivations of MV-algebras
In this paper, we review some of their related properties of derivations on MV-algebras and give some characterizations of additive derivations. Then...
-
Right-cancellable protomodular algebras
A new protomodular analog of the classical criterion for the existence of a group term in the algebraic theory of a variety of universal algebras is...
-
Projectivity in (bounded) commutative integral residuated lattices
In this paper, we study projective algebras in varieties of (bounded) commutative integral residuated lattices. We make use of a well-established...
-
The structure of completely meet irreducible congruences in strongly Fregean algebras
A strongly Fregean algebra is an algebra such that the class of its homomorphic images is Fregean and the variety generated by this algebra is...
-
Subsystems via quantum motions
Thanks to the topological Hopf algebra of renormalization of Green’s functions in a gauge field theory, we associate a bi-Heyting algebra to each...
-
Weakly Schreier extensions for general algebras
Weakly Schreier split extensions are a reasonably large, yet well-understood class of monoid extensions, which generalise some aspects of split...
-
Characterizations of semihoops based on derivations
In this paper, we discuss the related properties of some particular derivations in semihoops and give some characterizations of them. Then, we prove...
-
Appendix: Algebras of relations
In this chapter we briefly introduce the classes of algebras that have occurred in the book as algebraic versions of logics.1 This chapter is...
-
Algebras of Complemented Subsets
Complemented subsets were introduced by Bishop, in order to avoid complementation in terms of negation. In his two approaches to measure theory...
-
On Hilbert algebras generated by the order
In this paper we study the variety of order Hilbert algebras, which is the equivalent algebraic semantics of the order implicational calculus of Bull...
-
Boolean Algebras
The theory of Boolean algebras was founded in 1847 by Boole, who considered it a form of ‘calculus’ adequate for the study of logic. Apart from the...
-
The structure of generalized BI-algebras and weakening relation algebras
Generalized bunched implication algebras (GBI-algebras) are defined as residuated lattices with a Heyting implication, and are positioned between...