Results on equality algebras

In this paper, by considering the notion of equality algebra, which is introduced by Jenei in [18], as a possible algebraic semantic for fuzzy type theory, we study and show that there are relations among equality algebras and some of other logical algebras such as residuated lattice, MTL-algebra, B...

Full description

Saved in:
Bibliographic Details
Published inInformation sciences Vol. 381; pp. 270 - 282
Main Authors Zebardast, F., Borzooei, R.A., Aaly Kologani, M.
Format Journal Article
LanguageEnglish
Published Elsevier Inc 01.03.2017
Subjects
Algebra
BL-algebra
Boolean-algebra
EQ-algebra
Equality algebra
Equivalence
Fuzzy logic
Hertz-algebra
Heyting-algebra
Hoop-algebra
Lattices
MTL-algebra
MV-algebra
Residuated lattice
Semantics
BL-algebra
Hoop-algebra
Hertz-algebra
Equality algebra
Residuated lattice
Boolean-algebra
Heyting-algebra
MTL-algebra
03G25
EQ-algebra
MV-algebra
Online AccessGet full text

Cover

Abstract In this paper, by considering the notion of equality algebra, which is introduced by Jenei in [18], as a possible algebraic semantic for fuzzy type theory, we study and show that there are relations among equality algebras and some of other logical algebras such as residuated lattice, MTL-algebra, BL-algebra, MV-algebra, Hertz-algebra, Heyting-algebra, Boolean-algebra, EQ-algebra and hoop-algebra. The aim of this paper is to find that under which conditions, equality algebras are equivalent to these logical algebras.
AbstractList In this paper, by considering the notion of equality algebra, which is introduced by Jenei in [18], as a possible algebraic semantic for fuzzy type theory, we study and show that there are relations among equality algebras and some of other logical algebras such as residuated lattice, MTL-algebra, BL-algebra, MV-algebra, Hertz-algebra, Heyting-algebra, Boolean-algebra, EQ-algebra and hoop-algebra. The aim of this paper is to find that under which conditions, equality algebras are equivalent to these logical algebras.
Author Zebardast, F.
Borzooei, R.A.
Aaly Kologani, M.
Author_xml – sequence: 1
  givenname: F.
  surname: Zebardast
  fullname: Zebardast, F.
  email: zebardastfathme@gmail.com
  organization: Department of Mathematics, Payam e Noor University, Tehran, Iran
– sequence: 2
  givenname: R.A.
  surname: Borzooei
  fullname: Borzooei, R.A.
  email: borzooei@sbu.ac.ir
  organization: Department of Mathematics, Shahid Beheshti University, Tehran, Iran
– sequence: 3
  givenname: M.
  surname: Aaly Kologani
  fullname: Aaly Kologani, M.
  email: mona4011@gmail.com
  organization: Department of Mathematics, Shahid Beheshti University, Tehran, Iran
BookMark eNp9kE1LxDAQhoOs4Lr6AwQPe_TSOpM2aYMnWfyCBUH0HJJ0Klm67W7SCvvvzbKePc0c3meG97lks37oibEbhBwB5f0m933MeVpzxBx4dcbmWFc8k1zhjM0BOGTAhbhglzFuAKCspJyz2w-KUzfG5dAvaT-Zzo-Hpem-yQYTr9h5a7pI139zwb6enz5Xr9n6_eVt9bjOXFHAmGFTgkRbqloWpNLDAkRra1kJW_MCLSrb1CUHgxZacsKIyjlTO04ltE7IYsHuTnd3YdhPFEe99dFR15mehinqVEQpBVJUKYqnqAtDjIFavQt-a8JBI-ijCb3RyYQ-mtCIOplIzMOJodThx1PQ0XnqHTU-kBt1M_h_6F9tuWYS
CitedBy_id crossref_primary_10_1007_s00500_021_06453_2
crossref_primary_10_18778_0138_0680_2023_01
crossref_primary_10_3233_JIFS_18509
crossref_primary_10_18778_0138_0680_2021_01
crossref_primary_10_18778_0138_0680_2023_31
crossref_primary_10_3233_JIFS_191112
crossref_primary_10_1007_s00500_018_3032_1
crossref_primary_10_18778_0138_0680_2020_14
crossref_primary_10_1016_j_ins_2018_05_045
crossref_primary_10_3233_JIFS_191512
crossref_primary_10_1007_s00500_021_06071_y
crossref_primary_10_1515_ms_2017_0369
crossref_primary_10_18778_0138_0680_2022_09
crossref_primary_10_1142_S1793005722500491
crossref_primary_10_1093_jigpal_jzy038
crossref_primary_10_1007_s00500_021_05832_z
crossref_primary_10_3233_JIFS_211035
crossref_primary_10_1007_s00500_022_06972_6
crossref_primary_10_1142_S179300572150040X
crossref_primary_10_1080_09720529_2021_1876293
crossref_primary_10_3233_JIFS_182860
Cites_doi 10.1090/S0002-9947-1958-0094302-9
10.1007/s11225-007-9078-1
10.1023/A:1022935811257
10.1007/s00500-014-1494-3
10.1016/j.fss.2013.12.007
10.1016/j.ins.2015.03.072
10.1007/s00500-009-0491-4
10.1016/j.fss.2011.05.011
10.1016/j.fss.2004.03.027
10.1016/j.fss.2009.04.010
10.1090/S0002-9947-1939-1501995-3
10.1007/s11225-012-9457-0
10.1007/s11786-013-0157-6
10.1016/S0165-0114(01)00098-7
10.1007/s00153-014-0380-0
ContentType Journal Article
Copyright 2016 Elsevier Inc.
Copyright_xml – notice: 2016 Elsevier Inc.
DBID AAYXX
CITATION
7SC
8FD
JQ2
L7M
L~C
L~D
DOI 10.1016/j.ins.2016.11.027
DatabaseName CrossRef
Computer and Information Systems Abstracts
Technology Research Database
ProQuest Computer Science Collection
Advanced Technologies Database with Aerospace
Computer and Information Systems Abstracts – Academic
Computer and Information Systems Abstracts Professional
DatabaseTitle CrossRef
Computer and Information Systems Abstracts
Technology Research Database
Computer and Information Systems Abstracts – Academic
Advanced Technologies Database with Aerospace
ProQuest Computer Science Collection
Computer and Information Systems Abstracts Professional
DatabaseTitleList Computer and Information Systems Abstracts
DeliveryMethod fulltext_linktorsrc
Discipline Engineering
Library & Information Science
EISSN 1872-6291
EndPage 282
ExternalDocumentID 10_1016_j_ins_2016_11_027
S0020025516318692
GroupedDBID --K
--M
--Z
-~X
.DC
.~1
0R~
1B1
1OL
1RT
1~.
1~5
29I
4.4
457
4G.
5GY
5VS
7-5
71M
8P~
9JN
9JO
AAAKF
AAAKG
AABNK
AACTN
AAEDT
AAEDW
AAIAV
AAIKJ
AAKOC
AALRI
AAOAW
AAQFI
AAQXK
AARIN
AAXUO
AAYFN
ABAOU
ABBOA
ABEFU
ABFNM
ABJNI
ABMAC
ABTAH
ABUCO
ABXDB
ABYKQ
ACAZW
ACDAQ
ACGFS
ACNNM
ACRLP
ACZNC
ADBBV
ADEZE
ADGUI
ADJOM
ADMUD
ADTZH
AEBSH
AECPX
AEKER
AENEX
AFFNX
AFKWA
AFTJW
AGHFR
AGUBO
AGYEJ
AHHHB
AHJVU
AHZHX
AIALX
AIEXJ
AIGVJ
AIKHN
AITUG
AJBFU
AJOXV
ALMA_UNASSIGNED_HOLDINGS
AMFUW
AMRAJ
AOUOD
APLSM
ARUGR
ASPBG
AVWKF
AXJTR
AZFZN
BJAXD
BKOJK
BLXMC
CS3
DU5
EBS
EFJIC
EFLBG
EJD
EO8
EO9
EP2
EP3
F5P
FDB
FEDTE
FGOYB
FIRID
FNPLU
FYGXN
G-Q
GBLVA
GBOLZ
HAMUX
HLZ
HVGLF
HZ~
H~9
IHE
J1W
JJJVA
KOM
LG9
LY1
M41
MHUIS
MO0
MS~
N9A
O-L
O9-
OAUVE
OZT
P-8
P-9
P2P
PC.
Q38
R2-
RIG
ROL
RPZ
SBC
SDF
SDG
SDP
SDS
SES
SEW
SPC
SPCBC
SSB
SSD
SST
SSV
SSW
SSZ
T5K
TN5
TWZ
UHS
WH7
WUQ
XPP
YYP
ZMT
ZY4
~02
~G-
AAXKI
AAYXX
ADVLN
AKRWK
CITATION
7SC
8FD
JQ2
L7M
L~C
L~D
ID FETCH-LOGICAL-c330t-1d4061b49863e9629305fb8675b8231b19bd8420a1b0fec5a57cca8c2e40fc563
IEDL.DBID .~1
ISSN 0020-0255
IngestDate Fri Aug 16 00:19:30 EDT 2024
Thu Sep 12 18:33:18 EDT 2024
Fri Feb 23 02:33:56 EST 2024
IsPeerReviewed true
IsScholarly true
Keywords BL-algebra
Hoop-algebra
Hertz-algebra
Equality algebra
Residuated lattice
Boolean-algebra
Heyting-algebra
MTL-algebra
03G25
EQ-algebra
MV-algebra
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c330t-1d4061b49863e9629305fb8675b8231b19bd8420a1b0fec5a57cca8c2e40fc563
Notes ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 23
PQID 1879990657
PQPubID 23500
PageCount 13
ParticipantIDs proquest_miscellaneous_1879990657
crossref_primary_10_1016_j_ins_2016_11_027
elsevier_sciencedirect_doi_10_1016_j_ins_2016_11_027
PublicationCentury 2000
PublicationDate March 2017
2017-03-00
20170301
PublicationDateYYYYMMDD 2017-03-01
PublicationDate_xml – month: 03
  year: 2017
  text: March 2017
PublicationDecade 2010
PublicationTitle Information sciences
PublicationYear 2017
Publisher Elsevier Inc
Publisher_xml – name: Elsevier Inc
References Rezaei, Saeid, Borzooei (bib0023) 2013; 7
Borzooei, Zahiri, Dvurecenskij (bib0004) 2014; 244
Novák (bib0021) 2005
Esteva, Godo (bib0015) 2001; 124
Ciungu (bib0012) 2015; 19
Chang (bib0007) 1958; 88
Hájek (bib0016) 1998; 4
ak, De Baets (bib0022) 2009; 160
Jenei (bib0018) 2012; 100
Ciungu (bib0011) 2013
El-Zekey, ak, Mesiar (bib0014) 2011; 178
Boicescu, Filipoiu, Georgescu, Rudeanu (bib0003) 1991; 49
Iogrulescu (bib0017) 2008
Ward, Dilworth (bib0024) 1939; 45
Ciungu (bib0010) 2014; 53
Busneag (bib0006) 1993; 39
Cignoli, D’ottaviano, Mundici (bib0008) 2013; vol. 7
Novák (bib0020) 2005; 149
Aglianó, Ferreirim, Montagna (bib0001) 2007; 87
Belohlávek, Ostrava (bib0002) 2003; 53
Borzooei, Zahiri, Dvurecenskij (bib0005) 2015; 314
Ciungu (bib0009) 2006; 33
El-Zekey (bib0013) 2010; 14
El-Zekey (10.1016/j.ins.2016.11.027_bib0014) 2011; 178
Iogrulescu (10.1016/j.ins.2016.11.027_bib0017) 2008
Novák (10.1016/j.ins.2016.11.027_bib0021) 2005
ak (10.1016/j.ins.2016.11.027_bib0022) 2009; 160
Belohlávek (10.1016/j.ins.2016.11.027_bib0002) 2003; 53
Borzooei (10.1016/j.ins.2016.11.027_bib0005) 2015; 314
Rezaei (10.1016/j.ins.2016.11.027_bib0023) 2013; 7
Esteva (10.1016/j.ins.2016.11.027_bib0015) 2001; 124
Jenei (10.1016/j.ins.2016.11.027_bib0018) 2012; 100
Ciungu (10.1016/j.ins.2016.11.027_bib0012) 2015; 19
Boicescu (10.1016/j.ins.2016.11.027_bib0003) 1991; 49
Borzooei (10.1016/j.ins.2016.11.027_bib0004) 2014; 244
Hájek (10.1016/j.ins.2016.11.027_bib0016) 1998; 4
Ciungu (10.1016/j.ins.2016.11.027_bib0009) 2006; 33
El-Zekey (10.1016/j.ins.2016.11.027_bib0013) 2010; 14
Ward (10.1016/j.ins.2016.11.027_bib0024) 1939; 45
Ciungu (10.1016/j.ins.2016.11.027_bib0011) 2013
Busneag (10.1016/j.ins.2016.11.027_bib0006) 1993; 39
Chang (10.1016/j.ins.2016.11.027_bib0007) 1958; 88
Aglianó (10.1016/j.ins.2016.11.027_bib0001) 2007; 87
Novák (10.1016/j.ins.2016.11.027_bib0020) 2005; 149
Ciungu (10.1016/j.ins.2016.11.027_bib0010) 2014; 53
Cignoli (10.1016/j.ins.2016.11.027_bib0008) 2013; vol. 7
References_xml – volume: 39
  start-page: 461
  year: 1993
  end-page: 469
  ident: bib0006
  article-title: Hertz algebras of fractions and maximal hertz algebra of quotients
  publication-title: Math. Japon.
  contributor:
    fullname: Busneag
– volume: 87
  start-page: 73
  year: 2007
  end-page: 98
  ident: bib0001
  article-title: Montagna basic hoops: an algebraic study of continuous t-norm
  publication-title: Stud Log
  contributor:
    fullname: Montagna
– volume: 160
  start-page: 2956
  year: 2009
  end-page: 2978
  ident: bib0022
  article-title: EQ-algebras
  publication-title: Fuzzy Sets Syst.
  contributor:
    fullname: De Baets
– volume: 49
  year: 1991
  ident: bib0003
  article-title: Lukasiewicz-moisil algebras
  publication-title: Ann. Discrete Math.
  contributor:
    fullname: Rudeanu
– volume: 178
  start-page: 1
  year: 2011
  end-page: 23
  ident: bib0014
  article-title: On good EQ-algebras
  publication-title: Fuzzy Sets Syst.
  contributor:
    fullname: Mesiar
– volume: 4
  year: 1998
  ident: bib0016
  article-title: Metamathematics of Fuzzy Logic
  contributor:
    fullname: Hájek
– volume: vol. 7
  year: 2013
  ident: bib0008
  article-title: Algebraic Foundations of Many-Valued Reasoning
  contributor:
    fullname: Mundici
– volume: 244
  start-page: 86
  year: 2014
  end-page: 105
  ident: bib0004
  article-title: State BCK-algebra and a state-morphism BCK-algebra
  publication-title: Fuzzy Sets Syst.
  contributor:
    fullname: Dvurecenskij
– volume: 7
  start-page: 341
  year: 2013
  end-page: 352
  ident: bib0023
  article-title: Some types of filters in BE-algebras
  publication-title: Math. Comput. Sci.
  contributor:
    fullname: Borzooei
– volume: 124
  start-page: 271
  year: 2001
  end-page: 288
  ident: bib0015
  article-title: Monoidal t-norm based logic, towards a logic for left-continuous t-norms
  publication-title: Fuzzy Sets Syst.
  contributor:
    fullname: Godo
– volume: 149
  start-page: 235
  year: 2005
  end-page: 273
  ident: bib0020
  article-title: On fuzzy type theory
  publication-title: Fuzzy Sets Syst.
  contributor:
    fullname: Novák
– volume: 45
  start-page: 335
  year: 1939
  end-page: 354
  ident: bib0024
  article-title: Residuated lattices
  publication-title: Trans. Am. Math. Soc.
  contributor:
    fullname: Dilworth
– volume: 14
  start-page: 1011
  year: 2010
  end-page: 1023
  ident: bib0013
  article-title: Representable good EQ-algebras
  publication-title: Soft. Comput.
  contributor:
    fullname: El-Zekey
– volume: 19
  start-page: 939
  year: 2015
  end-page: 953
  ident: bib0012
  article-title: Internal states on equality algebras
  publication-title: Soft. Comput.
  contributor:
    fullname: Ciungu
– year: 2005
  ident: bib0021
  article-title: Fuzzy type theory as higher-order fuzzy logic
  publication-title: Proceedings of the 6th International Conference on Intelligent Technologies
  contributor:
    fullname: Novák
– volume: 314
  start-page: 118
  year: 2015
  end-page: 134
  ident: bib0005
  article-title: L-ordered and l-lattice ordered groups
  publication-title: Inf. Sci.
  contributor:
    fullname: Dvurecenskij
– volume: 88
  start-page: 467
  year: 1958
  end-page: 490
  ident: bib0007
  article-title: Algebraic analysis of many valued logics
  publication-title: Trans. Am. Math. Soc.
  contributor:
    fullname: Chang
– volume: 100
  start-page: 1201
  year: 2012
  end-page: 1209
  ident: bib0018
  article-title: Equality algebras
  publication-title: Stud. Log.
  contributor:
    fullname: Jenei
– volume: 53
  start-page: 161
  year: 2003
  end-page: 171
  ident: bib0002
  article-title: Some properties of residuated lattices
  publication-title: Czech. Math. J.
  contributor:
    fullname: Ostrava
– year: 2013
  ident: bib0011
  article-title: Non-commutative Multiple-valued Logic Algebras
  contributor:
    fullname: Ciungu
– volume: 33
  start-page: 189
  year: 2006
  end-page: 207
  ident: bib0009
  article-title: Classes of residuated lattices
  publication-title: Ann. Univ. Craiova-Math. Comput. Sci. Ser.
  contributor:
    fullname: Ciungu
– volume: 53
  start-page: 561
  year: 2014
  end-page: 570
  ident: bib0010
  article-title: On pseudo-equality algebras
  publication-title: Arch. Math. Logic
  contributor:
    fullname: Ciungu
– year: 2008
  ident: bib0017
  article-title: Algebras of Logic as BCK-Algebras
  contributor:
    fullname: Iogrulescu
– volume: 88
  start-page: 467
  year: 1958
  ident: 10.1016/j.ins.2016.11.027_bib0007
  article-title: Algebraic analysis of many valued logics
  publication-title: Trans. Am. Math. Soc.
  doi: 10.1090/S0002-9947-1958-0094302-9
  contributor:
    fullname: Chang
– volume: vol. 7
  year: 2013
  ident: 10.1016/j.ins.2016.11.027_bib0008
  contributor:
    fullname: Cignoli
– volume: 39
  start-page: 461
  year: 1993
  ident: 10.1016/j.ins.2016.11.027_bib0006
  article-title: Hertz algebras of fractions and maximal hertz algebra of quotients
  publication-title: Math. Japon.
  contributor:
    fullname: Busneag
– volume: 87
  start-page: 73
  year: 2007
  ident: 10.1016/j.ins.2016.11.027_bib0001
  article-title: Montagna basic hoops: an algebraic study of continuous t-norm
  publication-title: Stud Log
  doi: 10.1007/s11225-007-9078-1
  contributor:
    fullname: Aglianó
– volume: 4
  year: 1998
  ident: 10.1016/j.ins.2016.11.027_bib0016
  contributor:
    fullname: Hájek
– volume: 53
  start-page: 161
  year: 2003
  ident: 10.1016/j.ins.2016.11.027_bib0002
  article-title: Some properties of residuated lattices
  publication-title: Czech. Math. J.
  doi: 10.1023/A:1022935811257
  contributor:
    fullname: Belohlávek
– volume: 33
  start-page: 189
  year: 2006
  ident: 10.1016/j.ins.2016.11.027_bib0009
  article-title: Classes of residuated lattices
  publication-title: Ann. Univ. Craiova-Math. Comput. Sci. Ser.
  contributor:
    fullname: Ciungu
– volume: 49
  year: 1991
  ident: 10.1016/j.ins.2016.11.027_bib0003
  article-title: Lukasiewicz-moisil algebras
  publication-title: Ann. Discrete Math.
  contributor:
    fullname: Boicescu
– volume: 19
  start-page: 939
  year: 2015
  ident: 10.1016/j.ins.2016.11.027_bib0012
  article-title: Internal states on equality algebras
  publication-title: Soft. Comput.
  doi: 10.1007/s00500-014-1494-3
  contributor:
    fullname: Ciungu
– volume: 244
  start-page: 86
  issue: 1
  year: 2014
  ident: 10.1016/j.ins.2016.11.027_bib0004
  article-title: State BCK-algebra and a state-morphism BCK-algebra
  publication-title: Fuzzy Sets Syst.
  doi: 10.1016/j.fss.2013.12.007
  contributor:
    fullname: Borzooei
– volume: 314
  start-page: 118
  year: 2015
  ident: 10.1016/j.ins.2016.11.027_bib0005
  article-title: L-ordered and l-lattice ordered groups
  publication-title: Inf. Sci.
  doi: 10.1016/j.ins.2015.03.072
  contributor:
    fullname: Borzooei
– volume: 14
  start-page: 1011
  year: 2010
  ident: 10.1016/j.ins.2016.11.027_bib0013
  article-title: Representable good EQ-algebras
  publication-title: Soft. Comput.
  doi: 10.1007/s00500-009-0491-4
  contributor:
    fullname: El-Zekey
– year: 2013
  ident: 10.1016/j.ins.2016.11.027_bib0011
  contributor:
    fullname: Ciungu
– volume: 178
  start-page: 1
  year: 2011
  ident: 10.1016/j.ins.2016.11.027_bib0014
  article-title: On good EQ-algebras
  publication-title: Fuzzy Sets Syst.
  doi: 10.1016/j.fss.2011.05.011
  contributor:
    fullname: El-Zekey
– year: 2008
  ident: 10.1016/j.ins.2016.11.027_bib0017
  contributor:
    fullname: Iogrulescu
– volume: 149
  start-page: 235
  year: 2005
  ident: 10.1016/j.ins.2016.11.027_bib0020
  article-title: On fuzzy type theory
  publication-title: Fuzzy Sets Syst.
  doi: 10.1016/j.fss.2004.03.027
  contributor:
    fullname: Novák
– year: 2005
  ident: 10.1016/j.ins.2016.11.027_bib0021
  article-title: Fuzzy type theory as higher-order fuzzy logic
  contributor:
    fullname: Novák
– volume: 160
  start-page: 2956
  year: 2009
  ident: 10.1016/j.ins.2016.11.027_bib0022
  article-title: EQ-algebras
  publication-title: Fuzzy Sets Syst.
  doi: 10.1016/j.fss.2009.04.010
  contributor:
    fullname: ak
– volume: 45
  start-page: 335
  year: 1939
  ident: 10.1016/j.ins.2016.11.027_bib0024
  article-title: Residuated lattices
  publication-title: Trans. Am. Math. Soc.
  doi: 10.1090/S0002-9947-1939-1501995-3
  contributor:
    fullname: Ward
– volume: 100
  start-page: 1201
  year: 2012
  ident: 10.1016/j.ins.2016.11.027_bib0018
  article-title: Equality algebras
  publication-title: Stud. Log.
  doi: 10.1007/s11225-012-9457-0
  contributor:
    fullname: Jenei
– volume: 7
  start-page: 341
  year: 2013
  ident: 10.1016/j.ins.2016.11.027_bib0023
  article-title: Some types of filters in BE-algebras
  publication-title: Math. Comput. Sci.
  doi: 10.1007/s11786-013-0157-6
  contributor:
    fullname: Rezaei
– volume: 124
  start-page: 271
  year: 2001
  ident: 10.1016/j.ins.2016.11.027_bib0015
  article-title: Monoidal t-norm based logic, towards a logic for left-continuous t-norms
  publication-title: Fuzzy Sets Syst.
  doi: 10.1016/S0165-0114(01)00098-7
  contributor:
    fullname: Esteva
– volume: 53
  start-page: 561
  year: 2014
  ident: 10.1016/j.ins.2016.11.027_bib0010
  article-title: On pseudo-equality algebras
  publication-title: Arch. Math. Logic
  doi: 10.1007/s00153-014-0380-0
  contributor:
    fullname: Ciungu
SSID ssj0004766
Score 2.377988
Snippet In this paper, by considering the notion of equality algebra, which is introduced by Jenei in [18], as a possible algebraic semantic for fuzzy type theory, we...
SourceID proquest
crossref
elsevier
SourceType Aggregation Database
Publisher
StartPage 270
SubjectTerms Algebra
BL-algebra
Boolean-algebra
EQ-algebra
Equality algebra
Equivalence
Fuzzy logic
Hertz-algebra
Heyting-algebra
Hoop-algebra
Lattices
MTL-algebra
MV-algebra
Residuated lattice
Semantics
Title Results on equality algebras
URI https://dx.doi.org/10.1016/j.ins.2016.11.027
https://search.proquest.com/docview/1879990657
Volume 381
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LS8NAEB5KvehBtCpW2xJBPAhpN8luHsdSLFWxB7HQ25JsNlCRtJj04MXf7kyywQfiweuShPDt7HzfMi-AS-GKMAiYwpMWCpu7LLZjNBw7dtNAOZopr2qZ_zD3Zwt-txTLFkyaWhhKqzS-v_bplbc2KyOD5mizWlGNr1spYlQUNFeJ_DBHMkKbHr5_pnnwoI5X0jWJnm4im1WO1yqnjt2OP6RGnjRY5ndu-uGlK-qZHsC-0YzWuP6tQ2jpvAN7XzoJdqBv6g-sK8sUGBHgljm5R9B71MX2pSwsXNR1IeWbRSM-8K3iGBbTm6fJzDaDEWzleay0nZRoOOFR6Hs68pGxmciSELV_QlG9xImSNCTcnYRlWolYBLhRoXI1Z5kSvncC7Xyd61OwPKHilKmMuVqhMuJRigIEb8xpQDPoU9GF6wYSuan7X8gmMexZIn6S8MN7hET8usAb0OS3TZTon_967aIBWKJxU8QizvV6W0gahY506Yvg7H-fPoddl3i4ShrrQbt83eo-qogyGVRmMoCd8e39bP4BBzrC_w
link.rule.ids 315,786,790,4521,24144,27957,27958,45620,45714
linkProvider Elsevier
linkToHtml http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LS8NAEB5Ke1APolWx2moE8SDEbh6bpMdSLKl9HKSF3pZks4WKpMWkB_-9M8kGH4gHrwsTwrezM98wL4BbbvPA95nElxZw07VZZEaoOGZkJ760FJNOMTJ_OvPChfu05MsaDKpeGCqr1La_tOmFtdYnXY1md7teU4-vXTBiZBS0VwntcMPlvuXWodEfjcPZZ3ukX6YsKVIigSq5WZR5rVMa2m15DzTLk3bL_O6efhjqwvsMj-BQ00ajX_7ZMdRU2oSDL8MEm9DRLQjGnaF7jAhzQz_eE2g_q2z3mmcGHqqyl_LdoC0fKJWdwmL4OB-Ept6NYErHYblpJeSJY7cXeI7qeei0GV_FAdL_mBJ7sdWLk4Cgt2K2UpJH3Me7CqStXLaS3HPOoJ5uUnUOhsNllDC5YraSSI7cXoIcBIPmxKc19AlvwX0FidiWIzBEVRv2IhA_QfhhKCEQvxa4FWji2z0KNNF_id1UAAvUb0paRKna7DJB29DRY3rcv_jfp69hL5xPJ2Iymo0vYd8mt1zUkLWhnr_tVAdJRR5faaX5AN5zxbU
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Results+on+equality+algebras&rft.jtitle=Information+sciences&rft.au=Zebardast%2C+F&rft.au=Borzooei%2C+R+A&rft.au=Aaly+Kologani%2C+M&rft.date=2017-03-01&rft.issn=0020-0255&rft.volume=381&rft.spage=270&rft.epage=282&rft_id=info:doi/10.1016%2Fj.ins.2016.11.027&rft.externalDBID=NO_FULL_TEXT
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0020-0255&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0020-0255&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0020-0255&client=summon