|
|
International workshop "Syntax and semantics of logical systems"
August 11–16, 2019, Ñamp site on the shore of Lake Hovsgol
|
|
|
|
|
|
The Smetanich constant and finite canonical model method
A. D. Yashin Udmurt State University, Izhevsk
|
Number of views: |
This page: | 76 | Materials: | 4 |
|
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.
Supplementary materials:
ßøèí.pdf (1.1 Mb)
|
|