Logics With two Types of Integral Operators
Publications de l'Institut Mathématique, _N_S_54 (1993) no. 68, p. 18
Voir la notice de l'article provenant de la source eLibrary of Mathematical Institute of the Serbian Academy of Sciences and Arts
We prove completeness theorems for absolutely continuous and
singular biprobability models of a logic with integrals. Also in both
cases, we prove the finite compactness theorem for a set of sentences
of the form $\tau \in [r,s]$.
Classification :
o3C70
Radosav Đorđević. Logics With two Types of Integral Operators. Publications de l'Institut Mathématique, _N_S_54 (1993) no. 68, p. 18 . http://geodesic.mathdoc.fr/item/PIM_1993_N_S_54_68_a2/
@article{PIM_1993_N_S_54_68_a2,
author = {Radosav {\DJ}or{\dj}evi\'c},
title = {Logics {With} two {Types} of {Integral} {Operators}},
journal = {Publications de l'Institut Math\'ematique},
pages = {18 },
year = {1993},
volume = {_N_S_54},
number = {68},
language = {en},
url = {http://geodesic.mathdoc.fr/item/PIM_1993_N_S_54_68_a2/}
}