EMIS ELibM Electronic Journals PUBLICATIONS DE L'INSTITUT MATHÉMATIQUE (BEOGRAD) (N.S.)
Vol. 34(48), pp. 19--26 (1983)

Previous Article

Next Article

Contents of this Issue

Other Issues

ELibM Journals

ELibM Home

EMIS Home

 		 

A DECISION PROCEDURE FOR CERTAIN DISJUNCTION-FREE INTERMEDIATE PROPOSITIONAL CALCULI

Branislav R. Borici\'c

Katedra 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 [3] 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 [6] 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
© 2001 ELibM for the EMIS Electronic Edition