Applied problems in the theory notation

Author: Khimuri Rukhaia
Co-authors: Lali Tibua
Keywords: partial quantifier, logical-special operator, the assignment operator, the theory of notation, the general theory of programming.

Algebraic Analysis Of Bimodal Intuitionistic Logics

Author: Phridoni Alshibaia
Keywords: Logic, Bimodal Logic, Heyting Algebras

Gödel's incompleteness theorem for formal arithmetic

Author: Mariam Beriashvili

Application of rough sets for heat waves modelling

Author: Tatiana Kiseliova
Co-authors: Marina Fandoeva
Keywords: heat wave, fuzzy expected value, rough sets

ON THE Q1,N-DEGREES OF r-MAXIMAL SETS

Author: Roland Omanadze
Keywords: Q1, N-Reducibility, r-Maximal sets, recursively enumerable sets

Isomorphism types of some infinite graphs

Author: Archil Kipiani
Keywords: infinite graphs, isomorphism types, automorphisms group

THE EXISTENCE OF A SOLUTION AND THE CONVERGENCE OF THE APPROXIMATE METHOD FOR THE ONE-DIMENSIONAL REISSNER SYSTEM

Author: vladimer Odisharia
Keywords: Nonlinear problem, existence of a solution, convergence of the method

The logic of Chang’s algebra

Author: Revaz Grigolia
Co-authors: A. Di Nola
Keywords: Lukasievicz logic, Chang's algebra, MV-algebra

On one contact problem of plane elasticity theory

Author: nana odishelidze
Keywords: plane elasticity, contact problems, doubly connected domain, stress state