Results 21 to 30 of about 3,353 (149)

Dyck algebras, interval temporal logic and posets of intervals [PDF]

, 2015
We investigate a natural Heyting algebra structure on the set of Dyck paths of the same length. We provide a geometrical description of the operations of pseudocomplement and relative pseudocomplement, as well as of regular elements. We also find a logic-
Ferrari, Luca
core   +2 more sources

First steps in synthetic guarded domain theory: step-indexing in the topos of trees [PDF]

Logical Methods in Computer Science, 2012
We present the topos S of trees as a model of guarded recursion. We study the internal dependently-typed higher-order logic of S and show that S models two modal operators, on predicates and types, which serve as guards in recursive definitions of terms,
Lars Birkedal, Rasmus Ejlers Møgelberg, Jan Schwinghammer, Kristian Støvring   +3 more
doaj   +1 more source

Soft Set Theory Applied to Hoops

Analele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica, 2020
In this paper, we introduced the concept of a soft hoop and we investigated some of their properties. Then, we established different types of intersections and unions of the family of soft hoops.
Borzooei R. A., Babaei E., Jun Y. B., Kologani M. Aaly, Takallo M. Mohseni   +4 more
doaj   +1 more source

On Bellissima’s construction of the finitely generated free Heyting algebras, and beyond [PDF]

, 2010
We study finitely generated free Heyting algebras from a topological and from a model theoretic point of view. We review Bellissima’s representation of the finitely generated free Heyting algebra; we prove that it yields an embedding in the profinite ...
J.L. Darniere, M. Junker
core   +4 more sources

De Morgan Semi-Heyting and Heyting Algebras [PDF]

New Trends in Algebras and Combinatorics, 2020
9 pages, 4 figures, A revision of an earlier version in ...
openaire   +2 more sources

Finitely generated free Heyting algebras via Birkhoff duality and coalgebra [PDF]

, 2011
Algebras axiomatized entirely by rank 1 axioms are algebras for a functor and thus the free algebras can be obtained by a direct limit process. Dually, the final coalgebras can be obtained by an inverse limit process.
A. Nerode, A. Palmigiano, A. Urquhart, Alexander Kurz, C. Kupke, A. Kurz, and Y. Venema, F. Bellissima, G. Bezhanishvili and N. Bezhanishvili, I. Nishimura, L. Rieger, Mai Gehrke, Nick Bezhanishvili, P. Whitman, S. Aguzzoli, B. Gerla, and V. Marra, S. Celani and R. Jansana, S. Ghilardi, S. Ghilardi, V. Rybakov, V. Shehtman   +17 more
core   +4 more sources

Annihilators in Universal Algebras: A New Approach

Journal of Mathematics, Volume 2020, Issue 1, 2020., 2020
The purpose of this paper is to study annihilators and annihilator ideals in a more general context; in universal algebras.
Gezahagne Mulat Addis, Andrei V. Kelarev
wiley   +1 more source

Preserving Filtering Unification by Adding Compatible Operations to Some Heyting Algebras [PDF]

, 2016
We show that adding compatible operations to Heyting algebras and to commutative residuated lattices, both satisfying the Stone law ¬x ⋁ ¬¬x = 1, preserves filtering (or directed) unification, that is, the property that for every two unifiers there is a ...
Dzik, Wojciech, Radeleczki, Sándor
core   +2 more sources

Fuzzy ideals and fuzzy congruences of co-residuated lattices [PDF]

Journal of Hebei University of Science and Technology
In order to expand the theory of fuzzy logic algebra, the fuzzy ideals and fuzzy congruences of co-residuated lattices and their interrelationships were studied.
Xinyue HAN, Wei YAO
doaj   +1 more source

Dualities and dual pairs in Heyting algebras [PDF]

, 2010
We extract the abstract core of finite homomorphism dualities using the techniques of Heyting algebras and (combinatorial) categories.Comment: 17 pages; v2: minor ...
A. Pultr, C. Tardif, J. Foniok, J. Ne, Set Ril   +4 more
core   +4 more sources