Sitek, Grzegorz Book review of: Andrzej Pietruszczak, Metamereology. (English) Zbl 07450679 Stud. Log. 109, No. 6, 1463-1466 (2021). MSC: 00A17 03-01 03A05 PDF BibTeX XML Cite \textit{G. Sitek}, Stud. Log. 109, No. 6, 1463--1466 (2021; Zbl 07450679) Full Text: DOI OpenURL
Brogi, Cosimo Perini Curry-Howard-Lambek correspondence for intuitionistic belief. (English) Zbl 07450678 Stud. Log. 109, No. 6, 1441-1461 (2021). MSC: 03-XX PDF BibTeX XML Cite \textit{C. P. Brogi}, Stud. Log. 109, No. 6, 1441--1461 (2021; Zbl 07450678) Full Text: DOI arXiv OpenURL
Han, Shengwei; Xu, Xiaoting A few notes on quantum \(B\)-algebras. (English) Zbl 1482.06002 Stud. Log. 109, No. 6, 1423-1440 (2021). Reviewer: Sergejs Solovjovs (Praha) MSC: 06F07 03G27 06A11 06F05 18F75 20N02 PDF BibTeX XML Cite \textit{S. Han} and \textit{X. Xu}, Stud. Log. 109, No. 6, 1423--1440 (2021; Zbl 1482.06002) Full Text: DOI OpenURL
Nakamura, Yoshiki; Matsuda, Naosuke On implicational intermediate logics axiomatizable by formulas minimal in classical logic: a counter-example to the Komori-Kashima problem. (English) Zbl 07450676 Stud. Log. 109, No. 6, 1413-1422 (2021). MSC: 03-XX PDF BibTeX XML Cite \textit{Y. Nakamura} and \textit{N. Matsuda}, Stud. Log. 109, No. 6, 1413--1422 (2021; Zbl 07450676) Full Text: DOI OpenURL
Gazzari, René The calculus of natural calculation. (English) Zbl 07450675 Stud. Log. 109, No. 6, 1375-1411 (2021). MSC: 03-XX PDF BibTeX XML Cite \textit{R. Gazzari}, Stud. Log. 109, No. 6, 1375--1411 (2021; Zbl 07450675) Full Text: DOI OpenURL
Figallo, Martín Cut-free sequent calculus and natural deduction for the tetravalent modal logic. (English) Zbl 07450674 Stud. Log. 109, No. 6, 1347-1373 (2021). MSC: 03-XX PDF BibTeX XML Cite \textit{M. Figallo}, Stud. Log. 109, No. 6, 1347--1373 (2021; Zbl 07450674) Full Text: DOI arXiv OpenURL
Yuan, Yongfeng Bayesian belief revision based on Agent’s criteria. (English) Zbl 07450673 Stud. Log. 109, No. 6, 1311-1346 (2021). MSC: 03-XX PDF BibTeX XML Cite \textit{Y. Yuan}, Stud. Log. 109, No. 6, 1311--1346 (2021; Zbl 07450673) Full Text: DOI OpenURL
Drobyshevich, S.; Skurt, D. Neighbourhood semantics for FDE-based modal logics. (English) Zbl 07450672 Stud. Log. 109, No. 6, 1273-1309 (2021). MSC: 03-XX PDF BibTeX XML Cite \textit{S. Drobyshevich} and \textit{D. Skurt}, Stud. Log. 109, No. 6, 1273--1309 (2021; Zbl 07450672) Full Text: DOI OpenURL
Kamide, Norihiro Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi. (English) Zbl 07450671 Stud. Log. 109, No. 6, 1241-1271 (2021). MSC: 03-XX PDF BibTeX XML Cite \textit{N. Kamide}, Stud. Log. 109, No. 6, 1241--1271 (2021; Zbl 07450671) Full Text: DOI OpenURL
Fazio, D.; Ledda, A.; Paoli, F. Residuated structures and orthomodular lattices. (English) Zbl 1487.03074 Stud. Log. 109, No. 6, 1201-1239 (2021). Reviewer: Josef Tkadlec (Praha) MSC: 03G12 03D25 06C15 03G27 06B23 PDF BibTeX XML Cite \textit{D. Fazio} et al., Stud. Log. 109, No. 6, 1201--1239 (2021; Zbl 1487.03074) Full Text: DOI OpenURL
Xu, Ming Transitive logics of finite width with respect to proper-successor-equivalence. (English) Zbl 07450669 Stud. Log. 109, No. 6, 1177-1200 (2021). MSC: 03-XX PDF BibTeX XML Cite \textit{M. Xu}, Stud. Log. 109, No. 6, 1177--1200 (2021; Zbl 07450669) Full Text: DOI OpenURL