A class of logics without disjunction property

MaRDI QIDQ1136751zbMATH OpenFDO

Authors 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)