Logics With two Types of Integral Operators
Publications de l'Institut Mathématique, _N_S_54 (1993) no. 68, p. 18
Cet article a éte moissonné depuis 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
@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/}
}
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/