On a variety of hemi-implicative semilattices
On a variety of hemi-implicative semilattices
About this item
Full title
Author / Creator
Publisher
Berlin/Heidelberg: Springer Berlin Heidelberg
Journal title
Language
English
Formats
Publication information
Publisher
Berlin/Heidelberg: Springer Berlin Heidelberg
Subjects
More information
Scope and Contents
Contents
A hemi-implicative semilattice is an algebra
(
A
,
∧
,
→
,
1
)
of type (2, 2, 0) such that
(
A
,
∧
,
1
)
is a bounded semilattice and the following conditions are satisfied:
for every
a
,
b
,
c
∈
A
, if
a
≤
b
→
c
then
a
∧
b
≤
c
and
Alternative Titles
Full title
On a variety of hemi-implicative semilattices
Authors, Artists and Contributors
Identifiers
Primary Identifiers
Record Identifier
TN_cdi_crossref_primary_10_1007_s00500_022_06807_4
Permalink
https://devfeature-collection.sl.nsw.gov.au/record/TN_cdi_crossref_primary_10_1007_s00500_022_06807_4
Other Identifiers
ISSN
1432-7643
E-ISSN
1433-7479
DOI
10.1007/s00500-022-06807-4