Geodesic
Preserving Filtering Unification by Adding Compatible Operations to Some Heyting Algebras
Bulletin of the Section of Logic, Tome 45 (2016) no. 3-4.

Voir la notice de l'article provenant de la source Library of Science

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 unifier more general then both of them. Contrary to that, often adding new operations to algebras results in changing the unification type. To prove the results we apply the theorems of [9] on direct products of l-algebras and filtering unification. We consider examples of frontal Heyting algebras, in particular Heyting algebras with the successor, γ and G operations as well as expansions of some commutative integral residuated lattices with successor operations.
Keywords: filtering unification, compatible operation, intuitionistic logic, Heyting algebra, residuated lattice 
@article{BSL_2016_45_3-4_a6,
     author = {Dzik, Wojciech and Radeleczki, S\'andor},
     title = {Preserving {Filtering} {Unification} by {Adding} {Compatible} {Operations} to {Some} {Heyting} {Algebras}},
     journal = {Bulletin of the Section of Logic},
     publisher = {mathdoc},
     volume = {45},
     number = {3-4},
     year = {2016},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/BSL_2016_45_3-4_a6/}
}
TY  - JOUR
AU  - Dzik, Wojciech
AU  - Radeleczki, Sándor
TI  - Preserving Filtering Unification by Adding Compatible Operations to Some Heyting Algebras
JO  - Bulletin of the Section of Logic
PY  - 2016
VL  - 45
IS  - 3-4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/BSL_2016_45_3-4_a6/
LA  - en
ID  - BSL_2016_45_3-4_a6
ER  - 
%0 Journal Article
%A Dzik, Wojciech
%A Radeleczki, Sándor
%T Preserving Filtering Unification by Adding Compatible Operations to Some Heyting Algebras
%J Bulletin of the Section of Logic
%D 2016
%V 45
%N 3-4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/BSL_2016_45_3-4_a6/
%G en
%F BSL_2016_45_3-4_a6
Dzik, Wojciech; Radeleczki, Sándor. Preserving Filtering Unification by Adding Compatible Operations to Some Heyting Algebras. Bulletin of the Section of Logic, Tome 45 (2016) no. 3-4. http://geodesic.mathdoc.fr/item/BSL_2016_45_3-4_a6/