I PRIKLADNAYA MATEMATIKA
(FUNDAMENTAL AND APPLIED MATHEMATICS)
1997, VOLUME 3, NUMBER 4, PAGES 1173-1197
T. L. Sidon
View as HTML View as gif image View as LaTeX source
We present a natural axiomatization for propositional logic with
modal operator for formal provability (Solovay, )
and labeled modalities for individual proofs with operations over them
For this purpose the language is extended by two new operations.
The obtained system
All articles are published in Russian.
|Main page||Contents of the journal||News||Search|
Last modified: January 27, 2000