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

DOI10.1007/BF02102127MaRDI QIDQ1311077zbMATH OpenFDO

Authors Alexander Vasil'evich Chagrov

Publication date 8 February 1994

Published in Mathematical Notes (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF02102127

zbMATH Keywords

cardinality of the maximal intermediate logics with the disjunction propertyintermediate propositional logicssuperintuitionistic logic

Mathematics Subject Classification ID

Intermediate logics (03B55)

Review text

A superintuitionistic logic is a logic containing intuitionistic logic. Here the author treats only consistent superintuitionistic propositional logics, that is, the intermediate propositional logics. The disjunction property for a logic says that if ``\(A\) or \(B\) belongs to the logic, then either \(A\) or \(B\) belongs to it. In this paper, the cardinality of the maximal intermediate logics with the disjunction property is studied and as the Main Theorem, it is proved that there are a continuum of such maximal logics. Besides the Main Theorem, this note presents good information around the problem.

Recommendations

• On maximal intermediate logics with the disjunction property
• A method to single out maximal propositional logics with the disjunction property. I
• scientific article; zbMATH DE number 4045716
• A method to single out maximal propositional logics with the disjunction property. II
• Metalogic of intuitionistic propositional calculus

Cites work

• scientific article; zbMATH DE number 4045716 (Why is no real title available?)
• scientific article; zbMATH DE number 3482306 (Why is no real title available?)
• Intermediate logics with the same disjunctionless fragment as intuitionistic logic
• On maximal intermediate logics with the disjunction property

Cited in

(9)

• On maximal intermediate logics with the disjunction property
• Modal companions of intermediate propositional logics
• 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
• scientific article; zbMATH DE number 4045716 (Why is no real title available?)
• Counting the maximal intermediate constructive logics
• scientific article; zbMATH DE number 7184880 (Why is no real title available?)
• Metalogic of intuitionistic propositional calculus
• The logic of logical necessity

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

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