Universal models for the positive fragment of intuitionistic logic

DOI10.1007/978-3-662-54332-0_13zbMath1428.03043OpenAlexW2590929880MaRDI QIDQ2284497

Apostolos Tzimoulis, Zhiguang Zhao, Nick Bezhanishvili, 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_13

zbMATH Keywords

universal modelsfragment of intuitionistic logicJankov's theorempositive morphism

Mathematics Subject Classification ID

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

Related Items (1)

Subminimal negation

This page was built for publication: Universal models for the positive fragment of intuitionistic logic