Kudinov, Andrey On neighbourhood product of some Horn axiomatizable logics. (English) Zbl 1492.03008 Log. J. IGPL 26, No. 3, 316-338 (2018). MSC: 03B45 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Standefer, Shawn Trees for E. (English) Zbl 1492.03009 Log. J. IGPL 26, No. 3, 300-315 (2018). MSC: 03B47 × Cite Format Result Cite Review PDF Full Text: DOI
Heubo-Kwegna, O. A.; Lele, C.; Ndjeya, S.; Nganou, J. B. BL-rings. (English) Zbl 1492.13004 Log. J. IGPL 26, No. 3, 290-299 (2018). MSC: 13A15 06D35 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Olkhovikov, Grigory K. Justification announcements in discrete time. I: Completeness results. (English) Zbl 1492.03005 Log. J. IGPL 26, No. 3, 259-289 (2018). MSC: 03B42 03B44 × Cite Format Result Cite Review PDF Full Text: DOI