Disjunctive property of superintuitionist and modal logics
type: Item
instance of: scholarly article
title: Disjunctive property of superintuitionist and modal logics
zbMATH Open document ID: 0655.03010
DOI: 10.1007/BF01137437
published in: Mathematical Notes
publication date: 1987-01-01T00:00:00Z
review text: See the review in Zbl 0642.03015.
Mathematics Subject Classification ID: 03B55
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 4068834
zbMATH Keywords: propositional logic
zbMATH Keywords: disjunction
zbMATH Keywords: superintuitionistic logic
author: Michael Zakharyaschev
MaRDI profile type: Publication
cites work: Some theorems about the sentential calculi of Lewis and Heyting
cites work: Q5813911
cites work: Boolean Algebras with Operators. Part I
cites work: Modal Logics Between S 4 and S 5
cites work: The decidability of certain intermediate propositional logics
description: scientific article; zbMATH DE number 4068834