Contents

AMIM Vol.25 No.2, 2020
Article (pdf)  
 
At the Origins of the Foundation of I. Vekua Institute 
of Applied Mathematics Prof. Shalva Pkhakadze-100
G. Jaiani, Kh. Rukhaia
Article (pdf) .................................................... 5 
 

Shalva Pkhakadze - a Brief Overview of his Life

Kh. Rukhaia, K. Pkhakadze

Article (pdf) ..................................................... 9 
 

A Logic with Measurable Spaces for Natural Language Semantics

Jean-Philippe Bernardy, R. Blanck, A. Maskharashvili
Article (pdf) ..................................................... 31
 
The Parallel Meaning Bank: A Framework for 
Semantically Annotating Multiple Languages
L. Abzianidze, Rik van Noord, Ch. Wang, J. Bos
Article (pdf)   ..................................................... 45
 
A Short Proof of the Decidability of
Normalization in Recursive Program Schemes
Z. Khasidashvili
Article (pdf)   ..................................................... 61 
 
Unification Modulo -Equivalence in a
Mathematical Assistant System
T. Kutsia
Article (pdf)   ..................................................... 66

The Syntax-Semantics Interface: From
Montague Grammar to Today
A. Maskharashvili
Article (pdf)   ..................................................... 94

Solving Textual Entailment with the
Theorem Prover for Natural Language
L. Abzianidze
Article (pdf)   ..................................................... 114 
 
Star Types: A Type System for Pattern Calculus
B. Dundua, M. Rukhaia, L. Tibua
Article (pdf)   ..................................................... 137

In the European Union with the Georgian and Abkhazian 
Languages - Aims, Problems, Results, and Recommendations
of the Complete Technological Support of the Georgian 
and Abkhazian Languages
K. Pkhakadze, M. Chikvinidze, G. Chichua, Sh. Malidze, D. Kurtskhalia,
C. Demurchev, N. Okroshiashvili, B. Mikaberidze
Article (pdf)   ..................................................... 147
 
Abstracts (Georgian)................................................. 174