Results 21 to 30 of about 4,395,218 (46)
On finitely generated Heyting algebras
, 2005 We study finitely generated Heyting algebras from algebraic and model theoretic points of view. We prove amon others that finitely generated free Heyting algebras embed in their profinite completions, which are projective limits of finitely generated ...
Luck Darnière, Markus Junker
core
Finitely Presented Heyting Algebras [PDF]
, 1998 In this paper we study the structure of finitely presented Heytingalgebras. Using algebraic techniques (as opposed to techniques from proof-theory) we show that every such Heyting algebra is in fact co- Heyting, improving on a result of Ghilardi who ...
Butz, Carsten
core
On the model-completion of Heyting algebras
, 2018 We axiomatize the model-completion of the theory of Heyting algebras by means of the "Density" and "Splitting" properties in [DJ18], and of a certain "QE Property" that we introduce here. In addition: we prove that this model-completion has a prime model,
Darnière, Luck
core +1 more source
Skew Semi-Heyting Algebras [PDF]
, 2018 In this paper, we introduce the concept of skew semi-Heyting algebra and extend the notions of semi-Heyting algebras. We characterize a skew semi-Heyting algebra as a skew Heyting algebra interms of a unique binary operation on which an induced binary ...
Alamneh, Mihret; Department of Mathematics, College of Science, Bahir Dar University +2 more
core +1 more source
Multipliers in weak Heyting algebras [PDF]
In this paper, we introduce the notion of multipliers in weak Heyting algebras and investigate some related properties of them. We obtain the relations between multipliers, closure operators, and homomorphisms in weak Heyting algebras.
Shokoofeh Ghorbani
core +2 more sources
Computability of Heyting algebras and distributive lattices
, 2010 Distributive lattices are studied from the viewpoint of effective algebra. In particular, we also consider special classes of distributive lattices, namely pseudocomplemented lattices and Heyting algebras.
Turlington, Amy
core +1 more source
Lattice-theoretic properties of algebras of logic [PDF]
, 2020 In the theory of lattice-ordered groups, there are interesting examples of properties -such as projectability -that are defined in terms of the overall structure of the lattice-ordered group, but are entirely determined by the underlying lattice ...
Francesco Paoli +2 more
core
On a Generalization of Heyting Algebras II
A $$\nabla $$ ∇ -algebra is a natural ...
Amirhossein Akbar Tabatabai +2 more
core +2 more sources
Colimits of Heyting Algebras through Esakia Duality [PDF]
In this note we generalize the construction, due to Ghilardi, of the free Heyting algebra generated by a finite distributive lattice, to the case of arbitrary distributive lattices.
Almeida, Rodrigo Nicolau
core +1 more source
Embeddings of Heyting Algebras [PDF]
, 1993 In this paper we study embeddings of Heyting Algebras. It is pointed out that such embeddings are naturally connected with Derived Rules. We compare the Heyting Algebras embeddable in the Heyting Algebra of the Intuitionistic Propositional Calculus (IPC),
Visser, A., Jongh, D.H.J. de
core