Filters
Ideals in Heyting semilattices and open homomorphisms
In the general context of Heyting lattices, the ideals, an extension of the concept of the sublocale set of a locale, are studied. Among other the class of Heyting lattices (and in particular the class of locales) in which open ...
BA - Obecná matematika
- 2007 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Inquisitive Heyting Algebras
with respect to a Heyting algebra iff the algebra is what we call a homomorphic p-image of some inquisitive Heyting algebra. It is also shown that a logic is inquisitive iffIn this paper we introduce a class of inquisitive...
Philosophy, History and Philosophy of science and technology
- 2021 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Countable Almost Rigid Heyting Algebras
There are uncountably many countable almost rigid Heyting algebras.
BA - Obecná matematika
- 2006 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Dualities and Dual Pairs in Heyting Algebras
An abstract study of finite dualities and related questions in the context of Heyting algebras.
BA - Obecná matematika
- 2010 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Gaps and Dualities in Heyting Categories
Relations between gaps and dualities are studied in the context of Heyting categories. Those are shown to be substantially more general than the cartesian closed ones....
BA - Obecná matematika
- 2007 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Profiniteness and representability of spectra of Heyting algebras
We prove that there exist profinite Heyting algebras that are not isomorphic to the profinite completion of any Heyting algebra. This resolves an open problem from 2009. More generally, we characterize those varieties of Heyting...
Pure mathematics
- 2021 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
On relative universality and Q-universality of finetely generated varieties of Heyting algebras
Surprisingly small varieties of Heyting algebras have very complex categorical structure and contain the largest possible number of subquasivarieties....
BA - Obecná matematika
- 2011 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
On a generalization of Heyting algebras I.
∇-algebra is a natural generalization of Heyting algebra, unifying many algebraic structures including bounded lattices, Heyting algebras, temporal Heyting algebras and the algebraic presentation of the dynamic topological ...
Pure mathematics
- 2025 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Operators of Knowledge and Ignorance in Heyting Algebras
The operator of knowledge was introduced and explored in various logical systems by numerous researchers. Nevertheless, its formalization on Heyting algebras on Heyting algebras. In addition, it adapts the formula for the severe ign...
Pure mathematics
- 2025 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Algebraic axiomatization of tense intutionistic logic
The concept of tense operators in Heyting algebra is introduced. There is also given a construction of these operators and their basic properties are described....
BA - Obecná matematika
- 2011 •
- Jx •
- Link
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
- 1 - 10 out of 551