Subintuitionistic logics with Kripke semantics

DOI10.1007/978-3-662-54332-0_18zbMath1428.03044OpenAlexW2590701623MaRDI QIDQ2284502

Fatemeh Shirmohammadzadeh Maleki, Dick H. J. de Jongh

Publication date: 15 January 2020

Full work available at URL: https://doi.org/10.1007/978-3-662-54332-0_18

zbMATH Keywords

completenessbasic logicintuitionistic logicmodus ponensconservativitysubintuitionistic logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (2)

Binary modal companions for subintuitionistic logics ⋮ Subintuitionistic logics and the implications they prove

This page was built for publication: Subintuitionistic logics with Kripke semantics