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

Abstracts

Non-classical logics, proof theory and universal algebra

We study the simple substitution property for superintuitionistic propositional and modal propositional logics -- normal extensions of the logic S4. We obtain algebraic criteria for the existence of this property for axiomatizations of such logics. By using these criteria, we prove that for a number of superintuitionistic logics, including almost all logics generated by formulas of one veriable, the simple substitution property does not hold. We also show that if the simple substitution property does not hold for a given axiomatization of superintuitionistic logic then it does not hold for its modal companion, either.

Full Text in Russian:

n Russian - khomich_2.rtf (315 kb)

Mail to Webmaster alc9@math.nsc.ru

|Home Page| |English Part|

Go to Home