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
@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 },
publisher = {mathdoc},
volume = {_N_S_34},
number = {48},
year = {1983},
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 PB - mathdoc 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 %I mathdoc %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/