A class of logics without disjunction property

zbMath0427.03016MaRDI QIDQ1136751

Ya. M. Drugush

Publication date: 1978

Published in: Moscow University Mathematics Bulletin (Search for Journal in Brave)

zbMATH Keywords

Kripke modelssuperintuitionistic logic

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55) Intermediate logics (03B55)

Related Items (1)

The disjunction property of intermediate propositional logics

This page was built for publication: A class of logics without disjunction property