Calculi over minimal logic and nonembeddability of algebras
From MaRDI portal
Publication:2402134
DOI10.17377/SEMI.2016.13.055zbMath1390.03026MaRDI QIDQ2402134
Veta Fedorovna Yun, Larisa L. Maksimova
Publication date: 6 September 2017
Published in: Sibirskie Èlektronnye Matematicheskie Izvestiya (Search for Journal in Brave)
Other algebras related to logic (03G25) Subsystems of classical logic (including intuitionistic logic) (03B20) Paraconsistent logics (03B53) Intermediate logics (03B55)
Related Items (3)
Perceptibility in pre-Heyting logics ⋮ Recognizability in pre-Heyting and well-composed logics ⋮ Constructive classifications of modal logics and extensions of minimal logic
This page was built for publication: Calculi over minimal logic and nonembeddability of algebras
