Geodesic
Procedure for assessing the truth of statements of discrete linear time logic
News of the Kabardin-Balkar scientific center of RAS, no. 1 (1998), pp. 32-37.

Voir la notice de l'article provenant de la source Math-Net.Ru

This article is a presentation of the work carried out at the IPRU Institute on the topic “Carrying out theoretical and applied work for modeling temporary relationships in databases. Development of inclusive means for processing temporal and fuzzy knowledge.” The article is devoted to the conceptual and theoretical foundations of an automatic (computer) procedure for assessing the truth of statements of discrete linear time logic with four operators: always, sometimes, next and while.
Keywords: truth, temporary operator, logic 
@article{IZKAB_1998_1_a5,
     author = {U. M. Bishenov},
     title = {Procedure for assessing the truth of statements of discrete linear time logic},
     journal = {News of the Kabardin-Balkar scientific center of RAS},
     pages = {32--37},
     publisher = {mathdoc},
     number = {1},
     year = {1998},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/IZKAB_1998_1_a5/}
}
TY  - JOUR
AU  - U. M. Bishenov
TI  - Procedure for assessing the truth of statements of discrete linear time logic
JO  - News of the Kabardin-Balkar scientific center of RAS
PY  - 1998
SP  - 32
EP  - 37
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/IZKAB_1998_1_a5/
LA  - ru
ID  - IZKAB_1998_1_a5
ER  - 
%0 Journal Article
%A U. M. Bishenov
%T Procedure for assessing the truth of statements of discrete linear time logic
%J News of the Kabardin-Balkar scientific center of RAS
%D 1998
%P 32-37
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IZKAB_1998_1_a5/
%G ru
%F IZKAB_1998_1_a5
U. M. Bishenov. Procedure for assessing the truth of statements of discrete linear time logic. News of the Kabardin-Balkar scientific center of RAS, no. 1 (1998), pp. 32-37. http://geodesic.mathdoc.fr/item/IZKAB_1998_1_a5/