Geodesic
One of the Possible Formal Desribtions of Deducubility
Publications de l'Institut Mathématique, _N_S_34 (1983) no. 48, p. 13 .

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

Having in mind different investigations of implication, i.e., of the logical consequence relation, we will try to point out a general kernel of formal systems in which the deducibility relation is stated in the system itself. In connection with any formal theory $\theta$ we observe a formal theory $\theta(\to)$ which is able to define the fundamental factor of $\theta$-{\it deducibility}. By showing that the basic binary relation of $\theta(\to)$ is just a formal description of the metatheoretic deducibility relation of $\theta$, the essential statement, the assertion 2.9., justifies contemplation of a formal theory like $\theta(\to)$. Furthermore, by the assertions 3.3 and 3.4 an interesting conection between formal theories $\theta(\sim)$ (cf~[1]) and $\theta(\to)$ is given.
Classification : 03B05 03G25 
@article{PIM_1983_N_S_34_48_a2,
     author = {Branislav R. Bori\v{c}i\'c},
     title = {One of the {Possible} {Formal} {Desribtions} of {Deducubility}},
     journal = {Publications de l'Institut Math\'ematique},
     pages = {13 },
     publisher = {mathdoc},
     volume = {_N_S_34},
     number = {48},
     year = {1983},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/PIM_1983_N_S_34_48_a2/}
}
TY  - JOUR
AU  - Branislav R. Boričić
TI  - One of the Possible Formal Desribtions of Deducubility
JO  - Publications de l'Institut Mathématique
PY  - 1983
SP  - 13 
VL  - _N_S_34
IS  - 48
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PIM_1983_N_S_34_48_a2/
LA  - en
ID  - PIM_1983_N_S_34_48_a2
ER  - 
%0 Journal Article
%A Branislav R. Boričić
%T One of the Possible Formal Desribtions of Deducubility
%J Publications de l'Institut Mathématique
%D 1983
%P 13 
%V _N_S_34
%N 48
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PIM_1983_N_S_34_48_a2/
%G en
%F PIM_1983_N_S_34_48_a2
Branislav R. Boričić. One of the Possible Formal Desribtions of Deducubility. Publications de l'Institut Mathématique, _N_S_34 (1983) no. 48, p. 13 . http://geodesic.mathdoc.fr/item/PIM_1983_N_S_34_48_a2/