An infinite class of maximal intermediate propositional logics with the disjunction property

DOI10.1007/BF01277484zbMath0776.03011MaRDI QIDQ1204112

Pierangelo Miglioli

Publication date: 1 September 1993

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

zbMATH Keywords

disjunction propertyintermediate propositional logicsconstructively incompatible logicsfiltration techniquelogic \(D_ 1\) of Gabbay and De Jongh of the finite binary treeslogic \(KP\) of Kreisel and Putnammaximal logicsScott's logic

Mathematics Subject Classification ID

Intermediate logics (03B55)

Related Items (5)

Counting the maximal intermediate constructive 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 ⋮ Generalized tableau systems for intermediate propositional logics ⋮ On maximal intermediate predicate constructive logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Some results on intermediate constructive logics
• On maximal intermediate logics with the disjunction property
• Semantical investigations in Heyting's intuitionistic logic
• On the extension of intuitionistic propositional logic with Kreisel- Putnam's and Scott's schemes
• Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
• A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property
• The decidability of the Kreisel-Putnam system
• Superconstructive Propositional Calculi with Extra Axiom Schemes Containing One Variable

This page was built for publication: An infinite class of maximal intermediate propositional logics with the disjunction property