On pretabular logics in NExtK4. I
From MaRDI portal
Publication:456965
DOI10.1007/S11225-013-9485-4zbMATH Open1301.03023OpenAlexW2011395665MaRDI QIDQ456965FDOQ456965
Authors: Shan Du, Hongkui Kang 
Publication date: 26 September 2014
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-013-9485-4
Recommendations
- On pretabular logics in NExtK4. II
- A second pretabular classical relevance logic
- Local tabularity without transitivity
- Independent bases for rules admissible in pretabular logics
- There exists an uncountable set of pretabular extensions of the relevant logic R and each logic of this set is generated by a variety of finite height
Cites Work
- Title not available (Why is that?)
- Finite equational bases for finite algebras in a congruence-distributive equational class
- Pretabular extensions of Lewis S4
- Five critical modal systems
- Pretabular varieties of modal algebras
- An ascending chain of S4 logics
- Title not available (Why is that?)
- Der Verband der normalen verzweigten Modallogiken
- Post complete and 0-axiomatizable modal logics
This page was built for publication: On pretabular logics in NExtK4. I
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q456965)
