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 Cet article a éte moissonné depuis la source eLibrary of Mathematical Institute of the Serbian Academy of Sciences and Arts

Voir la notice de l'article

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 
@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
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/