ON THE APPROXIMATE SOLUTION OF THE ONE DYNAMIC NONLINEAR PROBLEM FOR A PLATE

Author: Vladimer Odisharia
Co-authors: Jemal Peradze
Keywords: Dynamic plates, Non-linear Equation, Galerkin method, Error estimation

Algebraic Analyses Of Bimodal Symmetric Intuitionistic Logic

Author: Phridoni Alshibaia
Keywords: Logic, Modal Logic, Intuitionistic Logic, Symmetric Logic, Modality, Bimodal Logic

Some equivalents of the Continuum Hypothesis in terms of trees

Author: Archil kipiani
Keywords: Continuum hypothesis, tree, group of automorphisms

Decidability Problem for Unranked Propositional Logic

Author: Lali Tibua
Co-authors: Khimuri Rukhaia
Keywords: Unranked logic, Classification of formulas, Directive operator of the process

Unranked Quantifier Theory

Author: Khimuri Ruxaia
Co-authors: Lali Tibua
Keywords: Unranked Quantifier Theory, subject sequence variables, derivative operators

ON THE BOUNDED QUASI-DEGREES OF C.E. SETS

Author: Roland Omanadze
Keywords: Computably enumerable sets, bounded quasi-reducibility

Free and projective LinGL 2-algebras

Author: Tatiana Kiseliova
Co-authors: Revaz Grigolia
Keywords: projective algebra, free algebra, provability logic

Full-strength contour finding problems

Author: Nana Odishelidze
Keywords: plane elasticity, mixed problem, doubly connected domain, stress state

Free and projective MV(C)-algebras

Author: Revaz Grigolia
Keywords: Free algebra, Projective algebra, MV-algebra, Perfect MV-algebra.