Geodesic
A Decision Procedure for Certain Disjunction-free Intermediate Propositional Calculi
Publications de l'Institut Mathématique, _N_S_34 (1983) no. 48, p. 19

Voir la notice de l'article provenant de la source eLibrary of Mathematical Institute of the Serbian Academy of Sciences and Arts

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 : 03B55 
Branislav R. Boričić. A Decision Procedure for Certain Disjunction-free Intermediate Propositional Calculi. Publications de l'Institut Mathématique, _N_S_34 (1983) no. 48, p. 19 . http://geodesic.mathdoc.fr/item/PIM_1983_N_S_34_48_a3/
@article{PIM_1983_N_S_34_48_a3,
     author = {Branislav R. Bori\v{c}i\'c},
     title = {A {Decision} {Procedure} for {Certain} {Disjunction-free} {Intermediate} {Propositional} {Calculi}},
     journal = {Publications de l'Institut Math\'ematique},
     pages = {19 },
     year = {1983},
     volume = {_N_S_34},
     number = {48},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/PIM_1983_N_S_34_48_a3/}
}
TY  - JOUR
AU  - Branislav R. Boričić
TI  - A Decision Procedure for Certain Disjunction-free Intermediate Propositional Calculi
JO  - Publications de l'Institut Mathématique
PY  - 1983
SP  - 19 
VL  - _N_S_34
IS  - 48
UR  - http://geodesic.mathdoc.fr/item/PIM_1983_N_S_34_48_a3/
LA  - en
ID  - PIM_1983_N_S_34_48_a3
ER  - 
%0 Journal Article
%A Branislav R. Boričić
%T A Decision Procedure for Certain Disjunction-free Intermediate Propositional Calculi
%J Publications de l'Institut Mathématique
%D 1983
%P 19 
%V _N_S_34
%N 48
%U http://geodesic.mathdoc.fr/item/PIM_1983_N_S_34_48_a3/
%G en
%F PIM_1983_N_S_34_48_a3