A class of logics without disjunction property

zbMATH Open0427.03016MaRDI QIDQ1136751FDOQ1136751

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

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

Cited In (1)

• The disjunction property of intermediate propositional logics

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1136751)