Èíôîðìàöèîííàÿ ñèñòåìà "Êîíôåðåíöèè"


The 9th Asian Logic Conference

16-19 August, 2005
Novosibirsk, Russia

Abstracts

Non-classical logics, proof theory and universal algebra

The Logic of Paraconsistent Answer Sets

Odintsov S., Pearce D.

Sobolev Institut of Mathematics SB RAS (Novosibirsk),
Universidad Rey Juan Carlos (Madrid)

Text in pdf-file.

Full Text in Russian: OdintsovPearce.pdf (112kb)

Mail to Webmaster
alc9@math.nsc.ru
|Home Page| |English Part| [SBRAS]
Go to Home
© 1996-2000, Siberian Branch of Russian Academy of Sciences, Novosibirsk
    Last update: 06-Jul-2012 (11:44:52)