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


The 9th Asian Logic Conference

16-19 August, 2005
Novosibirsk, Russia

Abstracts

Non-classical logics, proof theory and universal algebra

Basis For Passive Inference Rules In The Modal Logic K 4

Gencer C.

ISTANBUL KULTUR UN. DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCE,
BAHCELIEVLER-ISTANBUL / TURKEY (ISTANBUL)

Text in pdf-files.

Additional information: cigdemg.pdf (12 kb)

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)