On congruences in weak implicative semi-lattices (Q1701818): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s00500-016-2188-9 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2405703447 / rank | |||
Normal rank |
Revision as of 20:05, 19 March 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