González, Luciano J. An alternative proof of the Hilbert-style axiomatization for the \(\{\wedge,\vee\}\)-fragment of classical propositional logic. (English) Zbl 07557514 Arch. Math. Logic 61, No. 5-6, 859-865 (2022). MSC: 03B05 03G10 03G27 PDFBibTeX XMLCite \textit{L. J. González}, Arch. Math. Logic 61, No. 5--6, 859--865 (2022; Zbl 07557514) Full Text: DOI
Harizanov, Valentina S.; Lempp, Steffen; McCoy, Charles F. D.; Morozov, Andrei S.; Solomon, Reed On the isomorphism problem for some classes of computable algebraic structures. (English) Zbl 07557511 Arch. Math. Logic 61, No. 5-6, 813-825 (2022). MSC: 03C57 03D45 PDFBibTeX XMLCite \textit{V. S. Harizanov} et al., Arch. Math. Logic 61, No. 5--6, 813--825 (2022; Zbl 07557511) Full Text: DOI
Brodhead, Katie; Khan, Mushfeq; Kjos-Hanssen, Bjørn; Lampe, William A.; Nguyen, Paul Kim Long V.; Shore, Richard A. The strength of the Grätzer-Schmidt theorem. (English) Zbl 1388.03056 Arch. Math. Logic 55, No. 5-6, 687-704 (2016). Reviewer: Jeffry L. Hirst (Boone) MSC: 03F35 03B30 03D28 06B15 03D45 PDFBibTeX XMLCite \textit{K. Brodhead} et al., Arch. Math. Logic 55, No. 5--6, 687--704 (2016; Zbl 1388.03056) Full Text: DOI arXiv
Bankston, Paul On the first-order expressibility of lattice properties related to unicoherence in continua. (English) Zbl 1219.54036 Arch. Math. Logic 50, No. 3-4, 503-512 (2011). Reviewer: Alejandro Illanes (México, D.F.) MSC: 54F15 03C52 54F55 03C20 06D05 54C10 PDFBibTeX XMLCite \textit{P. Bankston}, Arch. Math. Logic 50, No. 3--4, 503--512 (2011; Zbl 1219.54036) Full Text: DOI
Marra, Vincenzo A characterization of MV-algebras free over finite distributive lattices. (English) Zbl 1148.06006 Arch. Math. Logic 47, No. 3, 263-276 (2008). Reviewer: Jan Jakubík (Košice) MSC: 06D35 06F20 PDFBibTeX XMLCite \textit{V. Marra}, Arch. Math. Logic 47, No. 3, 263--276 (2008; Zbl 1148.06006) Full Text: DOI
Cole, Joshua A. Embedding \(\mathrm{FD}(\omega)\) into \({\mathcal{P}_s}\) densely. (English) Zbl 1140.03022 Arch. Math. Logic 46, No. 7-8, 649-664 (2008). MSC: 03D30 06D05 PDFBibTeX XMLCite \textit{J. A. Cole}, Arch. Math. Logic 46, No. 7--8, 649--664 (2008; Zbl 1140.03022) Full Text: DOI arXiv
Pynko, Alexej P. Extensions of Hałkowska-Zajac’s three-valued paraconsistent logic. (English) Zbl 1023.03017 Arch. Math. Logic 41, No. 3, 299-307 (2002). MSC: 03B53 03G10 03B50 PDFBibTeX XMLCite \textit{A. P. Pynko}, Arch. Math. Logic 41, No. 3, 299--307 (2002; Zbl 1023.03017) Full Text: DOI
Sorbi, Andrea On some filters and ideals of the Medvedev lattice. (English) Zbl 0704.03025 Arch. Math. Logic 30, No. 1, 29-48 (1990). Reviewer: Andrea Sorbi MSC: 03D30 06D05 PDFBibTeX XMLCite \textit{A. Sorbi}, Arch. Math. Logic 30, No. 1, 29--48 (1990; Zbl 0704.03025) Full Text: DOI