Almiñana, Federico; Pelaitay, Gustavo Monadic \(k\times j\)-rough Heyting algebras. (English) Zbl 07557504 Arch. Math. Logic 61, No. 5-6, 611-625 (2022). MSC: 06D20 03G25 06D30 PDFBibTeX XMLCite \textit{F. Almiñana} and \textit{G. Pelaitay}, Arch. Math. Logic 61, No. 5--6, 611--625 (2022; Zbl 07557504) Full Text: DOI
Alexandru, Andrei; Ciobanu, Gabriel Various forms of infinity for finitely supported structures. (English) Zbl 07495459 Arch. Math. Logic 61, No. 1-2, 173-222 (2022). MSC: 03E10 03B30 03E25 03E35 PDFBibTeX XMLCite \textit{A. Alexandru} and \textit{G. Ciobanu}, Arch. Math. Logic 61, No. 1--2, 173--222 (2022; Zbl 07495459) Full Text: DOI
Ciungu, Lavinia Corina On pseudo-equality algebras. (English) Zbl 1319.06013 Arch. Math. Logic 53, No. 5-6, 561-570 (2014). Reviewer: Michiro Kondo (Inzai) MSC: 06F35 03G25 06A12 06F05 08B05 PDFBibTeX XMLCite \textit{L. C. Ciungu}, Arch. Math. Logic 53, No. 5--6, 561--570 (2014; Zbl 1319.06013) Full Text: DOI
Ciungu, Lavinia Corina; Georgescu, George; Mureşan, Claudia Generalized Bosbach states. II. (English) Zbl 1305.03060 Arch. Math. Logic 52, No. 7-8, 707-732 (2013). Reviewer: Anatolij Dvurečenskij (Bratislava) MSC: 03G25 06F05 06D35 PDFBibTeX XMLCite \textit{L. C. Ciungu} et al., Arch. Math. Logic 52, No. 7--8, 707--732 (2013; Zbl 1305.03060) Full Text: DOI
Bianchi, Matteo First-order nilpotent minimum logics: first steps. (English) Zbl 1278.03052 Arch. Math. Logic 52, No. 3-4, 295-316 (2013). Reviewer: Brunella Gerla (Varese) MSC: 03B50 03B25 03C07 06B20 PDFBibTeX XMLCite \textit{M. Bianchi}, Arch. Math. Logic 52, No. 3--4, 295--316 (2013; Zbl 1278.03052) Full Text: DOI arXiv
Ciungu, Lavinia Corina; Georgescu, George; Mureşan, Claudia Generalized Bosbach states. I. (English) Zbl 1296.03040 Arch. Math. Logic 52, No. 3-4, 335-376 (2013). Reviewer: Anatolij Dvurečenskij (Bratislava) MSC: 03G25 06F05 06D35 PDFBibTeX XMLCite \textit{L. C. Ciungu} et al., Arch. Math. Logic 52, No. 3--4, 335--376 (2013; Zbl 1296.03040) Full Text: DOI
Dvurečenskij, Anatolij; Kühr, Jan On the structure of linearly ordered pseudo-BCK-algebras. (English) Zbl 1182.06009 Arch. Math. Logic 48, No. 8, 771-791 (2009). Reviewer: Afrodita Iorgulescu (Bucharest) MSC: 06F35 03G12 06D35 PDFBibTeX XMLCite \textit{A. Dvurečenskij} and \textit{J. Kühr}, Arch. Math. Logic 48, No. 8, 771--791 (2009; Zbl 1182.06009) Full Text: DOI
Botur, Michal; Halaš, Radomír Commutative basic algebras and non-associative fuzzy logics. (English) Zbl 1168.03014 Arch. Math. Logic 48, No. 3-4, 243-255 (2009). Reviewer: Wiesław A. Dudek (Wrocław) MSC: 03B52 03G25 06D35 PDFBibTeX XMLCite \textit{M. Botur} and \textit{R. Halaš}, Arch. Math. Logic 48, No. 3--4, 243--255 (2009; Zbl 1168.03014) Full Text: DOI
Rachůnek, Jiří; Šalounová, Dana Monadic GMV-algebras. (English) Zbl 1151.06007 Arch. Math. Logic 47, No. 3, 277-297 (2008). Reviewer: Anatolij Dvurečenskij (Bratislava) MSC: 06D35 03B50 06F05 06F15 PDFBibTeX XMLCite \textit{J. Rachůnek} and \textit{D. Šalounová}, Arch. Math. Logic 47, No. 3, 277--297 (2008; Zbl 1151.06007) Full Text: DOI Link
Bělohlávek, Radim; Vychodil, Vilém Fuzzy Horn logic. II. Implicationally defined classes. (English) Zbl 1099.03016 Arch. Math. Logic 45, No. 2, 149-177 (2006). Reviewer: Siegfried J. Gottwald (Leipzig) MSC: 03B52 03B50 08C15 03C05 08A72 PDFBibTeX XMLCite \textit{R. Bělohlávek} and \textit{V. Vychodil}, Arch. Math. Logic 45, No. 2, 149--177 (2006; Zbl 1099.03016) Full Text: DOI
Leuştean, Ioana Non-commutative Łukasiewicz propositional logic. (English) Zbl 1096.03020 Arch. Math. Logic 45, No. 2, 191-213 (2006). Reviewer: Albert Hoogewijs (Gent) MSC: 03B50 03B52 06D35 03G25 PDFBibTeX XMLCite \textit{I. Leuştean}, Arch. Math. Logic 45, No. 2, 191--213 (2006; Zbl 1096.03020) Full Text: DOI
Bělohlávek, Radim; Vychodil, Vilém Fuzzy Horn logic. I. Proof theory. (English) Zbl 1095.03014 Arch. Math. Logic 45, No. 1, 3-51 (2006). Reviewer: Siegfried J. Gottwald (Leipzig) MSC: 03B52 03B50 68T27 PDFBibTeX XMLCite \textit{R. Bělohlávek} and \textit{V. Vychodil}, Arch. Math. Logic 45, No. 1, 3--51 (2006; Zbl 1095.03014) Full Text: DOI