Информационная система "Конференции"

The 9^th Asian Logic Conference

16-19 August, 2005
Novosibirsk, Russia

Abstracts

Non-classical logics, proof theory and universal algebra

Canonical formulas for extensions of minimal logic

Stukacheva M.

Institute of Mathematics SB RAS (Novosibirsk)

The technique of canonical formulas due to M.Zakharyaschev transfered to extensions of minimal logic.

Mail to Webmaster
alc9@math.nsc.ru

|Home Page| |English Part|

[SBRAS]

© 1996-2000, Siberian Branch of Russian Academy of Sciences, Novosibirsk
Last update: 06-Jul-2012 (11:44:52)