Distributive implication groupoids (Q2464687): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.2478/s11533-007-0021-5 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2052518138 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5532577 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4792081 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4508861 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Remarks on commutative Hilbert algebras / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 14:19, 27 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Distributive implication groupoids |
scientific article |
Statements
Distributive implication groupoids (English)
0 references
17 December 2007
0 references
The authors introduce the variety of distributive implication groupoids, a generalization of the variety of Hilbert algebras. They prove some relationships between ideals, deductive systems and congruences. In particular, they prove that all these concepts coincide in every distributive implication algebra.
0 references
variety of distributive implication groupoids
0 references
ideals
0 references
deductive systems
0 references
congruences
0 references
distributive implication algebra
0 references