×

Found 1,705 Documents (Results 1–100)

100
MathJax

Finite model property and varieties of BL-algebras. (English) Zbl 07409979

Harmati, István Á. (ed.) et al., Computational intelligence and mathematics for tackling complex problems 3. Selected papers based on the presentations at the ESCIM-2020, virtual, 2020 and 2021. Cham: Springer. Stud. Comput. Intell. 959, 23-30 (2022).
MSC:  06D35 03G25
PDF BibTeX XML Cite
Full Text: DOI

EMV-algebras – extended MV-algebras. (English) Zbl 07326292

Fazio, Davide (ed.) et al., Algebraic perspectives on substructural logics. Selected papers based on the presentations at the workshop AsubL (Algebra & Substructural Logics – Take 6), Cagliari, Italy, June 11–13, 2018. Cham: Springer. Trends Log. Stud. Log. Libr. 55, 107-132 (2021).
MSC:  06D35
PDF BibTeX XML Cite
Full Text: DOI

Hyperstates of involutive MTL-algebras that satisfy \((2x)^2=2(x^2)\). (English) Zbl 1484.06042

Ju, Shier (ed.) et al., Nonclassical logics and their applications. Post-proceedings of the 8th international workshop on logic and cognition, WOLC 2016, Guangzhou, China, December 5–9, 2016. Singapore: Springer. Log. Asia: Stud. Log. Libr., 1-14 (2020).
MSC:  06D35
PDF BibTeX XML Cite
Full Text: DOI arXiv

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

Biographic Reference

all top 3

Software