| Full Name |
Esakia Leo |
| Address |
?? | | Phone |
? | | Fax |
? |
| E-mail |
|
| Web Page |
? | | Date Of Birth |
1934-11-14 | | Education |
B.A.& MS, Tbilisi State University, Tbilisi, 1958
PhD, Moscow State University, Moscow,1980 | | Position |
The Razmadze Mathematical Institute,
Sector of Mathematical logic (Chair)
Tbilisi State University,
Dept. of Foundations of Mathematics
American Mathematical Society,
Euroscience
European Association for Logic, Language and Information,
Amnesty International,
Georgian National Mathematical Committee | | Publications |
1. (with G.Bezhanishvili, D.Gabelaia) Some Results on Modal Axiomatization and Definability for Topological Spaces, Studia Logica, 2005, vol.81, 325-356
2. Intuitionistic Logic and Modality via Topology,
Annals of Pure and Appiled Logic, 2004, vol 127, n 1-3, 155-170
3. Godel?s Embedding the Intuitionistic Calculus into Modal Logic: Recent and New
Observations? , IV Intern. Logic Conference , Moscow , Russ.Acad.Sci.,
2003, 72-75
4. A modal version of Godel?s second Theorem and McKinsey system,
Logical Investigations, Moscow, ?Nauka?, 2002, vol. 9, 292-300 (in Russian)
5. Godel-Lob modal system ? addendum, III Intern. Logic Conference,
Moscow, Russ..Acad.Sci. 2001, 77-99 (in Russian)
6. Weak Transitivity ? restitution, Logical Investigations,Moscow, ?Nauka?,
2001, vol.8, 244-254 (in Russian)
7. Synopsis of Fronton Theory,Logical Investigations,Moscow,?Nauka?,
2000, vol. 7, 137-147 (in Russian)
8. (with M.Jibladze, D.Pataraia) Scattered Toposes, Annals of Pure and Appled Logic, 2000, vol.103, 97?107
9. Quantification in Intuitionistic Logic with provability smack,
Bull.Sect. Logic, 1998, vol.27, n 1/2, 26-28
10 Provability Interpretation of the Intuitionistic Logic, Logical Investigations,
Moscow, ?Nauka?, 1998, vol. 5, 19-24 (in Russian)
11. Heyting algebras. Duality Theory. Tbilisi, Acad.Press ?Mecniereba?,
1985, 104 pp.
12. On the variety of Grzegorczyk algebras, Sel.Math. Sov. 1984, vol.3, n .4, 343-366
13. Algebraic Logic. Ordered sets and Lattices, Saratov, Saratov State University,
1983, 15-26 (in Russian)
14. Weak decomposition of Heyting and Boolean algebras, VII Internat. Congress for Logic, Methodology and Philosophy of Science, Austria, Salzburg, 1983, 71-73
15. Diagonal Constructions, Lob?s formula and Cantor scattered spaces,
Logic and Semantic investigations, Tbilisi, ?Mecniereba?,
1981,128-143(in Russian)
16. A Theory of Modal and Superintuitionistic systems, Logical Inference,
Moscow, ?Nauka?, 1979, 147-172 (in Russian)
17. (with R.Grigolia) The criterion of Brouwerian and Closure algebras to be finitely generated, Bull.Sect.Log. 1977, vol.6, n 2, 46-52
18. (with V.Meskhi) Five critical modal systems, Theoria, 1977, vol.43, n 1, 52-60
19. (with R.Grigolia) Christmas tree. On the free cyclic algebras in some varieties of closure algebras, Bull.Sect.Logic, 1975, vol.43, n 1 , 52-60
20. On topological Kripke models, Dokl.AN USSR, 1974, vol 214, n 2,
298-301 (in Russian)
| | Conferences,contacts,other scientific and educational activities |
Service to the Profession
Collecting Editor for Bulletin of the Section of Logic, 1975-1986
Advisory Editor for Studia Logica, 1975 - Present;
Guest Editor for the Studia Logica issue Provability Logic, 50(1991), n 1
Co-organizer (with A.Preller, Marseille University) of Series of Workshops: Logic and Computer Science around the 42nd Parallel (France, Marseille, Centre International de Recontres Mathematicques, Luminy: 1988, 1990, 1992, 1994);
Co-organaizer (with Amsterdam University) of Series of Conferences: Logic, Language and Computation , Georgia: 1995, 1997, 1999, 2001, 2003;
Co-organizer (with New Mexico State Universuty, USA) of Conferences on Algebraic and Topological Methods in Non-Classical Logics ?July 7-11, 2003 (Tbilisi,Georgia) and June 15-18, 2005 (Barcelona, Spain)
Teaching : Courses in mathematical logic at the Tbilisi State University:
Duality Theory for Heyting and Modal algebras. Regular seminar:
Algebraic Semantics of Intuitionistic Logic and Basic Modal Systems
Invited scholarly Talks:
Recent observations concerning Tarski?s Topological interpretation of the Intuitionistic Calculus, Alfred Tarski Centenary Conference, Stefan Banach International Center, Warsaw, May, 2001.
Godel?s Embedding the Intuitionistic Calculus into Modal Logic: Recent and New
Observations? , IV Intern..Logic Conference , Moscow , May, 2003
(with D.Gabelaia) Reincarnations of the Standard Provability Predicate: a modal consideration, Sixth International Tbilisi Symposium on Language, Logic and Computation, Batumi 2005, September , 2005
(with D.Gabelaia) Pointwise discontinuous functions from a modal point of view,
International conference ?Algebraic and Topological Methods in Non-classical Logics II?, University of Barcelona, Barcelona, June, 2005 | | Participation in Grant Projects |
? | | Languages |
English, Russian | | Scientific interests |
Mathematical logic, lattice theory | | Current scientific activities |
? | | Future work plans |
? | | Department |
Theoretical Foundations in Mathematics |