On a fragment of intuitionistic logic which is complete with respect to the Kripke frames with finite domains

zbMath0947.03009MaRDI QIDQ1577172

P. A. Shrejner

Publication date: 30 August 2000

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/120558

zbMATH Keywords

completenessintuitionistic logicKripke frame

Mathematics Subject Classification ID

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

This page was built for publication: On a fragment of intuitionistic logic which is complete with respect to the Kripke frames with finite domains