Murinová, Petra; Novák, Vilém Syllogisms and 5-square of opposition with intermediate quantifiers in fuzzy natural logic. (English) Zbl 1396.03061 Log. Univers. 10, No. 2-3, 339-357 (2016). MSC: 03B52 05B50 03C80 PDFBibTeX XMLCite \textit{P. Murinová} and \textit{V. Novák}, Log. Univers. 10, No. 2--3, 339--357 (2016; Zbl 1396.03061) Full Text: DOI
Miasnikov, Alexei; Savchuk, Dmytro An example of an automatic graph of intermediate growth. (English) Zbl 1322.68125 Ann. Pure Appl. Logic 166, No. 10, 1037-1048 (2015). MSC: 68Q45 03D05 05C25 20F10 20F65 PDFBibTeX XMLCite \textit{A. Miasnikov} and \textit{D. Savchuk}, Ann. Pure Appl. Logic 166, No. 10, 1037--1048 (2015; Zbl 1322.68125) Full Text: DOI arXiv
Bartholdi, Laurent; Grigorchuk, Rostislav I.; Šuniḱ, Zoran Branch groups. (English) Zbl 1140.20306 Hazewinkel, M. (ed.), Handbook of algebra. Volume 3. Amsterdam: Elsevier (ISBN 0-444-51264-0/hbk). 989-1112 (2003). MSC: 20E08 20F50 20F65 05C25 20F10 22D10 37B05 43A07 68Q70 PDFBibTeX XMLCite \textit{L. Bartholdi} et al., in: Handbook of algebra. Volume 3. Amsterdam: Elsevier. 989--1112 (2003; Zbl 1140.20306) Full Text: arXiv
Kostrzycka, Zofia; Zaionc, Marek On the density of truth in Dummett’s logic. (English) Zbl 1032.03015 Bull. Sect. Log., Univ. Łódź, Dep. Log. 32, No. 1-2, 43-55 (2003). MSC: 03B47 03B55 05A15 03A05 03B20 PDFBibTeX XMLCite \textit{Z. Kostrzycka} and \textit{M. Zaionc}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 32, No. 1--2, 43--55 (2003; Zbl 1032.03015)
Shekhtman, Valentin Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable. (English) Zbl 0724.03017 Stud. Log. 49, No. 3, 365-385 (1990). Reviewer: S.Miura (Okazaki/Aichi) MSC: 03B45 03B55 05C90 PDFBibTeX XMLCite \textit{V. Shekhtman}, Stud. Log. 49, No. 3, 365--385 (1990; Zbl 0724.03017) Full Text: DOI