On congruences in weak implicative semi-lattices (Q1701818): Difference between revisions
From MaRDI portal
Latest revision as of 05:20, 15 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On congruences in weak implicative semi-lattices |
scientific article |
Statements
On congruences in weak implicative semi-lattices (English)
0 references
27 February 2018
0 references
The weak implicative semi-lattices are obtained from Heyting algebras \((H,\wedge,\vee,\rightarrow,0,1)\) by replacing the residuation property: \[ z\leq x\rightarrow y\text{ if and only if }x\wedge z\leq y \leqno{(R)} \] by its weaker form: \[ \text{if }z\leq x\rightarrow y,\text{ then }x\wedge z\leq y. \leqno{(R^{\prime})} \] The paper presents some properties of weak implicative semi-lattices and gives characterizations of congruences in this class of algebras, including varieties of interest for the logic.
0 references
semi-Heyting algebras
0 references
implicative semi-lattices
0 references
implication operation
0 references
congruence
0 references
compatible functions
0 references
locally affine completeness
0 references