Two classes of intermediate propositional logics without disjunction property

DOI10.1007/BF01624080zbMath0664.03019MaRDI QIDQ1115419

Fabio Bellissima

Publication date: 1989

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

zbMATH Keywords

disjunctive property

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)

Related Items

The disjunction property of intermediate propositional logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A study of intermediate predicate logics
• Finite and finitely separable intermediate propositional logics
• On formulas of one variable in intuitionistic propositional calculus
• Finitely generated free Heyting algebras
• A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property
• Superconstructive Propositional Calculi with Extra Axiom Schemes Containing One Variable
• Some theorems about the sentential calculi of Lewis and Heyting

This page was built for publication: Two classes of intermediate propositional logics without disjunction property