Two classes of intermediate propositional logics without disjunction property
type: Item
instance of: scholarly article
title: Two classes of intermediate propositional logics without disjunction property
zbMATH Open document ID: 0664.03019
DOI: 10.1007/BF01624080
author: Fabio Bellissima
published in: Archive for Mathematical Logic
publication date: 1989-01-01T00:00:00Z
review text: The author's model theoretic arguments presuppose familiarity with the notation and some results of his Journal of Symbolic Logic essays: ``Finitely generated free Heyting algebras'' [J. Symb. Logic 51, 152-165 (1986; Zbl 0616.03021)] and ``Finite and finitely separable intermediate propositional logics'' [ibid. 53, 403-420 (1988)]. He shows that there are two classes of logics between intuitionistic and classical propositional logics which are ``close to'' intuitionistic logic but yet lack intuitionistic logic's disjunctive property \(\vdash A\vee B\Rightarrow \vdash A\) or \(\vdash B\). The first class agrees with intuitionistic logic on theorems with at most n variables. In the second class the disjunctive property fails for formulas with a single variable in each disjunct although each disjunct is intuitionistically equivalent to some formula with a single variable.
reviewed by: Charles F. Kielkopf
Mathematics Subject Classification ID: 03B55
Mathematics Subject Classification ID: 03B20
zbMATH DE Number: 4085621
zbMATH Keywords: disjunctive property
MaRDI profile type: Publication
cites work: Superconstructive Propositional Calculi with Extra Axiom Schemes Containing One Variable
cites work: Finitely generated free Heyting algebras
cites work: Finite and finitely separable intermediate propositional logics
cites work: A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property
cites work: Q5812175
cites work: Q5813911
cites work: Some theorems about the sentential calculi of Lewis and Heyting
cites work: On formulas of one variable in intuitionistic propositional calculus
cites work: A study of intermediate predicate logics
cites work: Q4068699
cites work: Q4065518
description: scientific article; zbMATH DE number 4085621