# Section "Proof theory and logic foundations of computer science"

### Heads - Maksimova, Pal'chunov, Rybakov, Leivant, Nepeivoda, Vasil'ev

### Secretary - P.Shreiner

## Wednesday, 11 August, 15.00

*S.P.Odintsov* **On j-algebras and j-frames**
*D.E.Tishkovskij* **On Beth property in Lukasiewicz logics**
*N.N.Nepejvoda* **About interrelation în ZF and NF**
*A.Yashin*
*P.Shreiner* **Continua of equality free superintuitionistic logics without the Beth property**
*Dawar A., Lisitsa A.* **Predicative SO-logics on finite models**
*V.Dobritsa, G.Yah'yaeva* **On groops with
fuzzy operations**
*V.Zaharov, A.Mikhalev* **Sets, categories and mathematical systems as levels of the foundations of mathemtics**
*V.Murzina*

## Friday, 13 August, 15.00

*N.N.Nepejvoda* **What logics are logics**
*E.E.Vityaev* **Probabilistic logical dependencies**
*D.E.Pal'chunov* **Syntactical nnearness of formulas**
*M.V.Korovina* **Logical approach to specification of hybrid systems**
*V.Sh.Gumirov* **On a connectioon between object-oriented programming and semantic programming**