Results 31 to 40 of about 4,395,218 (46)
On upper modular subalgebras of a Lie algebra. [PDF]
, 2004 This paper is a further contribution to the extensive study by a number of authors of the subalgebra lattice of a Lie algebra. We give some necessary and some sufficient conditions for a subalgebra to be upper modular.
Bowman, Kevin +2 more
core +1 more source
Degree of Satisfiability in Heyting Algebras [PDF]
Given a finite structure $M$ and property $p$, it is a natural to study the degree of satisfiability of $p$ in $M$; i.e. to ask: what is the probability that uniformly randomly chosen elements in $M$ satisfy $p$?
Kocsis, Zoltan A. +1 more
core +1 more source
ON CYCLIC SYMMETRIC HEYTING ALGEBRAS
, 2001 In this work we investigate the variety of k-cyclic symmetric Heyting algebras, k a positive integer. We characterize the simple objects of this variety and we describe the lattice of subvarieties in the linear case.
J. P. Díaz Varela +4 more
core
This thesis studies Esakia’s temporal Heyting calculus tHC, a temporal intuitionistic modal logic, by employing algebraic, topological, and frame-theoretic methods.
Alvarez, David Quinn
core
An exploration of weak Heyting algebras: Characterization and properties [PDF]
International Journal of Approximate ReasoningThis paper explores weak Heyting algebras, an extension of complete Heyting algebras, focusing on characterizing this concept and identifying essential properties in terms of implication operators. The main emphasis is on unraveling the defining features
Francisco Perez Gámez
exaly +2 more sources
Algebra UniversalisA poset X is said to be zigzag image-finite, if the least updownset (i.e., both an upset and a downset) containing x is finite, for all x ∈ X. We show that a bi-Heyting algebra is profinite if and only if it is isomorphic to the lattice of upsets of a ...
Tasiou, Lydia
exaly +2 more sources
Some of the next articles are maybe not open access.
On Bellissima’s construction of the finitely generated free Heyting algebras, and beyond
Archive for Mathematical Logic, 2010Markus Junker
exaly
Heyting Algebras with a Dual Lattice Endomorphism
Zeitschrift Für Mathematische Logik Und Grundlagen Der Mathematik, 1987Hanamantagouda P Sankappanavar
exaly