PUBLICATIONS DE L'INSTITUT MATHÉMATIQUE (BEOGRAD) (N.S.) Vol. 34(48), pp. 1318 (1983) 

ONE OF THE POSSIBLE FORMAL DESRIBTIONS OF DEDUCUBILITYBranislav R. Bori\v ci\'cKatedra za matematiku Ekonomski fakultet Beograd, JugoslavijaAbstract: 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 (MSC2000): 03B05, 03G25 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
