Intermediate logics with the same disjunctionless fragment as intuitionistic logic

DOI10.1007/BF00373276zbMath0634.03021MaRDI QIDQ1096618

Pierluigi Minari

Publication date: 1986

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

intuitionistic logicintermediate logicdisjunctionless fragmentKripke characterization theorem

Mathematics Subject Classification ID

Intermediate logics (03B55)

Related Items (9)

A new solution to a problem of Hosoi and Ono ⋮ The undecidability of the disjunction property of propositional logics and other related problems ⋮ European Summer Meeting of the Association for Symbolic Logic ⋮ The disjunction property of intermediate propositional logics ⋮ On the extension of intuitionistic propositional logic with Kreisel- Putnam's and Scott's schemes ⋮ AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE ⋮ On maximal intermediate predicate constructive logics ⋮ Easkia Duality and Its Extensions ⋮ Continuality of the set of maximal superintuitionistic logics with the disjunction property

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On fragments of Medvedev's logic
• On the extension of intuitionistic propositional logic with Kreisel- Putnam's and Scott's schemes
• Untersuchungen über das logische Schliessen. I
• Kripke models and intermediate logics
• Proof of a conjecture of McKay
• The decidability of certain intermediate propositional logics
• A class of decidable intermediate propositional logics
• Some theorems about the sentential calculi of Lewis and Heyting

This page was built for publication: Intermediate logics with the same disjunctionless fragment as intuitionistic logic