Continuality of the set of maximal superintuitionistic logics with the disjunction property

DOI10.1007/BF02102127zbMath0795.03030MaRDI QIDQ1311077

Alexander Chagrov

Publication date: 8 February 1994

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

zbMATH Keywords

superintuitionistic logicintermediate propositional logicscardinality of the maximal intermediate logics with the disjunction property

Mathematics Subject Classification ID

Intermediate logics (03B55)

Related Items (3)

A method to single out maximal propositional logics with the disjunction property. I ⋮ A method to single out maximal propositional logics with the disjunction property. II ⋮ Modal companions of intermediate propositional logics

Cites Work

• Intermediate logics with the same disjunctionless fragment as intuitionistic logic
• On maximal intermediate logics with the disjunction property
• Unnamed Item
• Unnamed Item

This page was built for publication: Continuality of the set of maximal superintuitionistic logics with the disjunction property