PUBLICATIONS DE L'INSTITUT MATHÉMATIQUE (BEOGRAD) (N.S.)
Vol. 34(48), pp. 19--26 (1983)
A DECISION PROCEDURE FOR CERTAIN DISJUNCTION-FREE INTERMEDIATE PROPOSITIONAL CALCULI
Branislav R. Borici\'cKatedra za matematiku, Ekonomski fakultet, Beograd, Yugoslavia
Abstract: In this paper we will present a syntactic decision procedure for the disjunction-free fragment of $H$. With the help of a result of A. Diego  we will show that any decision procedure for the disjunction-free fragment of $H$, and hence also ours, can serve for all finitely axiomatizable disjunction-free intermediate logics. These logics were proved decidable in  also with the help of Diego's result.
Classification (MSC2000): 03B55
Full text of the article:
Electronic fulltext finalized on: 3 Nov 2001. This page was last modified: 16 Nov 2001.
© 2001 Mathematical Institute of the Serbian Academy of Science and Arts