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

Abstracts

Non-classical logics, proof theory and universal algebra

The properties of S4-operator "contingency" are considered. Main results: the finitness of the number of modalities and non-existence of derivale S4-formula with "contingency" as a main sign.

Full Text in Russian:

• Full text Kralin.pdf (56 kb)
• Full text in Russain Kralin1.pdf (86kb)

Mail to Webmaster alc9@math.nsc.ru

|Home Page| |English Part|

Go to Home