|
"anneau unitaire (commutatif) dont tous les éléments sont idempotents, structure algébrique utilisée en logique combinatoire"@fr
"distributivní komplementární svaz modelující klasickou výrokovou logiku"@cs
"jenis struktur aljabar yang menangkap sifat penting dari operasi himpunan dan operasi logika"@id
"komplementa distribueca latiso"@eo
"lattice that models the classical propositional logic"@en
"matematikai struktúra"@hu
"typ struktury algebraiczno-porządkowej; odmiana kraty"@pl
"непустое множество A с двумя бинарными операциями: конъюнкцией и дизъюнкцией"@ru
"непустое мноства з дзьвюмя бінарнымі апэрацыямі"@be-tarask
"מבנה אלגברי"@he
"代数结构"@zh
"构成古典命题逻辑的模型的格"@zh-cn
"고전 명제 논리의 모형을 이루는 격자"@ko
|