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 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

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},
     year = {1998},
     number = {1},
     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
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
%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/