|
VIDEO LIBRARY |
International workshop "Syntax and semantics of logical systems"
|
|||
|
The Smetanich constant and finite canonical model method A. D. Yashin Udmurt State University, Izhevsk |
|||
Abstract: The method of finite canonical model described by K. Shchütte is applied to the Smetanich logic which determines a new logical constant in the intuitionistic propositional logic (in the sence of P. Novikov's approach). This method allows to prove semantical completeness and finite model property for Smetanich logic simultaneously. |